works on
abstraction techniques 1control synthesis 1data-driven verification 1dynamical systems 1formal methods 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

eess.SY2026

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey

Behrad Samari, Alessandro Abate, Antoine Girard +3

The paper surveys recent data‑driven techniques that provide formal verification and controller synthesis guarantees for complex deterministic and stochastic dynamical systems with…