1 citations · 1 across the 10 of their papers we have counts for
1 paper · 1 filter
Taha Entesari, Sina Sharifi, Mahyar Fazlyab
We propose a novel Branch-and-Bound method for reachability analysis of neural networks in both open-loop and closed-loop settings. Our idea is to first compute accurate bounds on…