TY  - RPRT
TI  - Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
AU  - Long Kiu Chung
AU  - Wonsuhk Jung
AU  - Srivatsank Pullabhotla
AU  - Parth Shinde
AU  - Yadu Sunil
AU  - Saihari Kota
AU  - Luis Felipe Wolf Batista
AU  - Cédric Pradalier
AU  - Shreyas Kousik
PY  - 2025
UR  - https://arxiv.org/abs/2409.13195
ID  - 2409.13195
ER  -