Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability

Long Kiu Chung, Wonsuhk Jung, Srivatsank Pullabhotla +6

In the classical reach-avoid problem, autonomous mobile robots are tasked to reach a goal while avoiding obstacles. However, it is difficult to provide guarantees on the robot's pe…