ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds.

Taha Entesari, Sina Sharifi, Mahyar Fazlyab

Browse the full ICRA paper archive.