@misc{indiciae23911d0e7401,
  title = {Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability},
  author = {Long Kiu Chung and Wonsuhk Jung and Srivatsank Pullabhotla and Parth Shinde and Yadu Sunil and Saihari Kota and Luis Felipe Wolf Batista and Cédric Pradalier and Shreyas Kousik},
  year = {2025},
  url = {https://arxiv.org/abs/2409.13195},
  note = {Source identifier: 2409.13195}
}