129 citations · 349 across the 72 of their papers we have counts for
1 paper · 1 filter
Behrad Samari, Alessandro Abate, Antoine Girard +3
Data-driven approaches with formal guarantees have recently emerged as a powerful means for the verification and controller synthesis of complex dynamical systems. Interest in thes…