Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2505.15497
Cited By
Certified Neural Approximations of Nonlinear Dynamics
21 May 2025
Frederik Baymler Mathiesen
Nikolaus Vertovec
Francesco Fabiano
Luca Laurenti
Alessandro Abate
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Certified Neural Approximations of Nonlinear Dynamics"
1 / 1 papers shown
Title
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
Prashant Solanki
Nikolaus Vertovec
Yannik Schnitzer
Jasper J. van Beers
Coen de Visser
Alessandro Abate
67
1
0
31 Mar 2025
1
