ReachLipBnB: A branch-and-bound method for reachability analysis of
neural autonomous systems using Lipschitz bounds

ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds

1 November 2022

Sina Sharifi

Papers citing "ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds"

7 / 7 papers shown

Title
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis Sina Sharifi Mahyar Fazlyab 48 0 0 06 Jun 2024
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees Shaoru Chen Lekan Molu Mahyar Fazlyab 30 4 0 12 Mar 2024
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 31 12 0 27 Jul 2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 33 5 0 07 Apr 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers Saber Jafarpour Akash Harapanahalli Samuel Coogan 23 10 0 19 Jan 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes Taha Entesari Mahyar Fazlyab 40 5 0 14 Dec 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017