280 citations · 665 across the 25 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022
DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops
Michael Everett, Rudy Bunel, Shayegan Omidshafiei
Safety certification of data-driven control techniques remains a major open problem. This work investigates backward reachability as a framework for providing collision avoidance g…
cs.LG2022★ 7 cited
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham +2
Recent works have tried to increase the verifiability of adversarially trained networks by running the attacks over domains larger than the original perturbations and adding variou…