Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems

Documenti analoghi

• Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
  di: Nazeri, Mahdi, et al.
  Pubblicazione: (2025)
• Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
  di: Badings, Thom, et al.
  Pubblicazione: (2025)
• Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
  di: Riccardi, Alessandro, et al.
  Pubblicazione: (2026)
• A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
  di: Badings, Thom, et al.
  Pubblicazione: (2024)
• Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
  di: Badings, Thom, et al.
  Pubblicazione: (2024)