Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability. - Long Kiu Chung; Wonsuhk Jung; Srivatsank Pullabhotla; Parth Shinde; Yadu Sunil; Saihari Kota; Luis F. W. Batista; Cédric Pradalier; Shreyas Kousik (CoRR, 2024)