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 Felipe Wolf Batista, Cdric Pradalier, Shreyas Kousik
Browse the full ICRA paper archive.