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"

19 / 19 papers shown

Title
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic Wael Fatnassi Haitham Khedr Valen Yamamoto Yasser Shoukry 43 6 0 22 Nov 2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 86 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 62 27 0 28 Sep 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 40 34 0 06 Jul 2022
Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound Claudio Ferrari Mark Niklas Muller Nikola Jovanović Martin Vechev 59 85 0 30 Apr 2022
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes Christian Schilling M. Forets Sebastián Guadalupe 21 41 0 16 Dec 2021
Reachability Analysis of Neural Feedback Loops M. Everett Golnaz Habibi Chuangchuang Sun Jonathan P. How 29 53 0 09 Aug 2021
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems Chelsea Sidrane Amir Maleki A. Irfan Mykel J. Kochenderfer 30 48 0 03 Aug 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 57 15 0 16 Jun 2021
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition Alessandro De Palma Rudy Bunel Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip Torr M. P. Kumar 62 51 0 14 Apr 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 76 189 0 11 Mar 2021
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers Kaidi Xu Huan Zhang Shiqi Wang Yihan Wang Suman Jana Xue Lin Cho-Jui Hsieh 54 176 0 27 Nov 2020
Safety Verification of Neural Network Controlled Systems Arthur Clavière E. Asselin C. Garion C. Pagetti 33 25 0 10 Nov 2020
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming Haimin Hu Mahyar Fazlyab M. Morari George J. Pappas 53 76 0 16 Apr 2020
Lagrangian Decomposition for Neural Network Verification Rudy Bunel Alessandro De Palma Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip Torr M. P. Kumar 40 50 0 24 Feb 2020
ReachNN: Reachability Analysis of Neural-Network Controlled Systems Chao Huang Jiameng Fan Wenchao Li Xin Chen Qi Zhu 53 79 0 25 Jun 2019
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 78 751 0 02 Nov 2018
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 46 355 0 22 Jun 2017
Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng Georg Nührenberg Harald Ruess AAML 85 281 0 28 Apr 2017