TY  - RPRT
TI  - ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds
AU  - Taha Entesari
AU  - Sina Sharifi
AU  - Mahyar Fazlyab
PY  - 2023
UR  - https://arxiv.org/abs/2211.00608
ID  - 2211.00608
ER  -