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

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

3 August 2021

Chelsea Sidrane

Mykel J. Kochenderfer

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

17 / 17 papers shown

Title
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Chelsea Sidrane Jana Tumova 39 0 0 06 May 2025
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems Chelsea Sidrane Jana Tumova 56 3 0 19 Jul 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 75 8 0 28 Aug 2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 51 13 0 27 Jul 2023
Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems Robert J. Moss Mykel J. Kochenderfer Maxime Gariel Arthur Dubois 34 3 0 03 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 102 35 0 29 Apr 2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 50 5 0 07 Apr 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers Saber Jafarpour Akash Harapanahalli Samuel Coogan 46 10 0 19 Jan 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes Taha Entesari Mahyar Fazlyab 47 5 0 14 Dec 2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 66 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 42 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 54 26 0 28 Sep 2022
Backward Reachability Analysis for Neural Feedback Loops Nicholas Rober Michael Everett Jonathan P. How 32 10 0 14 Apr 2022
Verifying Inverse Model Neural Networks Chelsea Sidrane Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 24 2 0 04 Feb 2022
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes Christian Schilling M. Forets Sebastián Guadalupe 16 39 0 16 Dec 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 293 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,845 0 03 Feb 2017