Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets

31 March 2025

Prashant Solanki

Nikolaus Vertovec

Yannik Schnitzer

Jasper J. van Beers

Alessandro Abate

Papers citing "Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets"

Title
No papers