TY  - RPRT
TI  - Data-Driven Formal Methods for Complex Dynamical Systems: A Survey
AU  - Behrad Samari
AU  - Alessandro Abate
AU  - Antoine Girard
AU  - Majid Zamani
AU  - Amy Nejati
AU  - Abolfazl Lavaei
PY  - 2026
UR  - https://arxiv.org/abs/2607.27908
ID  - 2607.27908
ER  -