Author

A. Girard

h-index 45 View on Semantic Scholar

We have 1 of 190 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

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