TY  - RPRT
TI  - Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
AU  - Prashant Solanki
AU  - Nikolaus Vertovec
AU  - Yannik Schnitzer
AU  - Jasper Van Beers
AU  - Coen de Visser
AU  - Alessandro Abate
PY  - 2025
UR  - https://arxiv.org/abs/2503.23912
ID  - 2503.23912
ER  -