OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems

3 August 2021

Chelsea Sidrane

Amir Maleki

A. Irfan

Mykel J. Kochenderfer

ArXiv (abs)PDF HTML

Papers citing "OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems"

28 / 28 papers shown

Title
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Chelsea Sidrane Jana Tumova 76 0 0 06 May 2025
Learning Verifiable Control Policies Using Relaxed Verification Puja Chaudhury Alexander Estornell Michael Everett 65 0 0 23 Apr 2025
Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers Damola Ajeyemi Saber Jafarpour Emiliano DallÁnese 50 0 0 11 Apr 2025
Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis Karan Mahesh Tyler M. Paine Max L. Greene Nicholas Rober Steven Lee Sildomar T. Monteiro Anuradha Annaswamy Michael R. Benjamin Jonathan P. How 26 1 0 01 Oct 2024
Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops Nicholas Rober Jonathan P. How 99 1 0 30 Sep 2024
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems Chelsea Sidrane Jana Tumova 84 3 0 19 Jul 2024
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis Sina Sharifi Mahyar Fazlyab 94 0 0 06 Jun 2024
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Michael Durling Milan Ganai Tobey Shim Guy Katz Clark W. Barrett 64 8 0 22 May 2024
Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems Jianglin Lan Siyuan Zhan Ronald J. Patton Xianxian Zhao 89 1 0 24 Mar 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer AAML 54 9 0 16 Feb 2024
Distributionally Robust Statistical Verification with Imprecise Neural Networks Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 215 8 0 28 Aug 2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 72 13 0 27 Jul 2023
Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes Carlos Trapiello C. Combastel A. Zolghadri 23 2 0 26 Jun 2023
Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems Robert J. Moss Mykel J. Kochenderfer Maxime Gariel Arthur Dubois 53 4 0 03 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 160 37 0 29 Apr 2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 71 5 0 07 Apr 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers Saber Jafarpour Akash Harapanahalli Samuel Coogan 75 10 0 19 Jan 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes Taha Entesari Mahyar Fazlyab 91 5 0 14 Dec 2022
DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops Michael Everett Rudy Bunel Shayegan Omidshafiei 89 9 0 09 Dec 2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 104 6 0 01 Nov 2022
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops Nicholas Rober Michael Everett Songan Zhang Jonathan P. How 61 9 0 14 Oct 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 92 28 0 28 Sep 2022
Toward Certified Robustness Against Real-World Distribution Shifts Haoze Wu Teruhiro Tagomori Alexander Robey Fengjun Yang Nikolai Matni George Pappas Hamed Hassani C. Păsăreanu Clark W. Barrett AAML OOD 115 18 0 08 Jun 2022
Backward Reachability Analysis for Neural Feedback Loops Nicholas Rober Michael Everett Jonathan P. How 60 10 0 14 Apr 2022
Fail-Safe Adversarial Generative Imitation Learning Philipp Geiger C. Straehle GAN 53 2 0 03 Mar 2022
Verifying Inverse Model Neural Networks Chelsea Sidrane Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 63 2 0 04 Feb 2022
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes Christian Schilling M. Forets Sebastián Guadalupe 37 41 0 16 Dec 2021
Interpretable Local Tree Surrogate Policies John Mern Sidhart Krishnan Anil Yildiz Kyle Hatch Mykel J. Kochenderfer OffRL 45 0 0 16 Sep 2021