Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs

Documenti analoghi

• Bayesian Diagnosability and Active Fault Identification
  di: Kong, Chun-Wei, et al.
  Pubblicazione: (2025)
• Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
  di: Gracia, Ibon, et al.
  Pubblicazione: (2025)
• On the Optimality of Uncertain MDP Abstractions
  di: Gracia, Ibon, et al.
  Pubblicazione: (2026)
• Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
  di: Gracia, Ibon, et al.
  Pubblicazione: (2025)
• Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
  di: Kong, Chun-Wei, et al.
  Pubblicazione: (2024)