Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems

Documenti analoghi

• On the Optimality of Uncertain MDP Abstractions
  di: Gracia, Ibon, et al.
  Pubblicazione: (2026)
• Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
  di: Gracia, Ibon, et al.
  Pubblicazione: (2025)
• Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
  di: Gracia, Ibon, et al.
  Pubblicazione: (2024)
• Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
  di: Gracia, Ibon, et al.
  Pubblicazione: (2022)
• A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
  di: Laurenti, Luca, et al.
  Pubblicazione: (2023)