ML Anthology

Nazeri, Mahdi

1 publications

L4DC 2025 Data-Driven yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate