1 citations · 3 across the 7 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2022★ 1 cited
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes
Taha Entesari, Mahyar Fazlyab
Over-approximating the reachable sets of dynamical systems is a fundamental problem in safety verification and robust control synthesis. The representation of these sets is a key f…
eess.SY2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds
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…