Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes

14 December 2022

Papers citing "Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes"

3 / 3 papers shown

Title
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 22 6 0 01 Nov 2022
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems Nicholas Rober Sydney M. Katz Chelsea Sidrane Esen Yel Michael Everett Mykel J. Kochenderfer Jonathan P. How 27 26 0 28 Sep 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 19 32 0 06 Jul 2022