Review
Jul 2026
Data-Driven Formal Methods for Complex Dynamical Systems: A Survey
A comprehensive overview of data-driven methods for both deterministic and stochastic dynamical systems, highlighting the inherent differences and challenges that arise compared to the deterministic case.
Behrad Samari, Alessandro Abate, A. Girard et al.
· 0 citations