|
[NBSA25]
Mahdi Nazeri, Thom Badings, Sadegh Soudjani and Alessandro Abate.
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems.
In Proc. Learning for Dynamics and Control Conference (L4DC'25).
2025.
[Introduces a data-driven abstraction approach for stochastic non-linear dynamical systems, using PRISM for IMDP analysis.]
|
|
Links:
[Google]
[Google Scholar]
|