Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise

Documenti analoghi

• Efficient Uncertainty Propagation with Guarantees in Wasserstein Distance
  di: Figueiredo, Eduardo, et al.
  Pubblicazione: (2025)
• Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
  di: Figueiredo, Eduardo, et al.
  Pubblicazione: (2024)
• Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
  di: Cauchi, Nathalie, et al.
  Pubblicazione: (2019)
• Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
  di: Delimpaltadakis, Giannis, et al.
  Pubblicazione: (2022)
• Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
  di: Gracia, Ibon, et al.
  Pubblicazione: (2022)