@misc{indiciaefed73ab7567c,
  title = {Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets},
  author = {Prashant Solanki and Nikolaus Vertovec and Yannik Schnitzer and Jasper Van Beers and Coen de Visser and Alessandro Abate},
  year = {2025},
  url = {https://arxiv.org/abs/2503.23912},
  note = {Source identifier: 2503.23912}
}