Formal Verification of Neural Network Controlled Autonomous Systems

31 October 2018

Papers citing "Formal Verification of Neural Network Controlled Autonomous Systems"

32 / 32 papers shown

Title
One Stack, Diverse Vehicles: Checking Safe Portability of Automated Driving Software Vladislav Nenchev 106 0 0 30 Jan 2025
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 78 15 0 31 Aug 2024
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling Feiyang Cai Chuchu Fan Stanley Bak 79 6 0 28 May 2024
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation Haitham Khedr Yasser Shoukry 47 5 0 22 May 2023
Safe Robot Learning in Assistive Devices through Neural Network Repair K. Majd Geoffrey Clark Tanmay Khandait Siyu Zhou S. Sankaranarayanan Georgios Fainekos H. B. Amor 27 1 0 08 Mar 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 33 8 0 07 Mar 2023
Reachability Analysis of Neural Network Control Systems Chi Zhang W. Ruan Peipei Xu 31 14 0 28 Jan 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers Saber Jafarpour Akash Harapanahalli Samuel Coogan 39 10 0 19 Jan 2023
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training Jiaxu Tian Dapeng Zhi Si Liu Peixin Wang Guy Katz Hao Fei 30 1 0 21 Nov 2022
Conformal Prediction for STL Runtime Verification Lars Lindemann Xin Qin Jyotirmoy V. Deshmukh George J. Pappas 32 46 0 03 Nov 2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 52 6 0 01 Nov 2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 50 11 0 11 Oct 2022
Towards Sparsification of Graph Neural Networks Hongwu Peng Deniz Gurevin Shaoyi Huang Tong Geng Weiwen Jiang O. Khan Caiwen Ding GNN 30 24 0 11 Sep 2022
NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation Manish Goyal Miheer Dewaskar Parasara Sridhar Duggirala 41 2 0 08 Jul 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 94 37 0 26 May 2022
Safe Neurosymbolic Learning with Differentiable Symbolic Execution Chenxi Yang Swarat Chaudhuri 29 9 0 15 Mar 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 32 18 0 08 Feb 2022
Security for Machine Learning-based Software Systems: a survey of threats, practices and challenges Huaming Chen Muhammad Ali Babar AAML 42 22 0 12 Jan 2022
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 35 15 0 18 Oct 2021
Local Repair of Neural Networks Using Optimization K. Majd Siyu Zhou H. B. Amor Georgios Fainekos S. Sankaranarayanan 30 6 0 28 Sep 2021
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning Zikang Xiong Suresh Jagannathan 32 6 0 20 Apr 2021
Provably Correct Training of Neural Network Controllers Using Reachability Analysis Xiaowu Sun Yasser Shoukry 22 7 0 22 Feb 2021
Safety Verification of Model Based Reinforcement Learning Controllers Akshita Gupta Inseok Hwang 37 5 0 21 Oct 2020
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 38 62 0 18 Jul 2020
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers James Ferlez Mahmoud M. Elnaggar Yasser Shoukry C. Fleming AAML 62 33 0 16 Jun 2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 34 239 0 12 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 20 127 0 12 Apr 2020
Model Assertions for Monitoring and Improving ML Models Daniel Kang Deepti Raghavan Peter Bailis Matei A. Zaharia 19 58 0 03 Mar 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 27 122 0 31 Oct 2019
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller Radoslav Ivanov Taylor J. Carpenter James Weimer Rajeev Alur George J. Pappas Insup Lee 23 79 0 24 Oct 2019
Robust Deep Reinforcement Learning for Security and Safety in Autonomous Vehicle Systems A. Ferdowsi Ursula Challita Walid Saad N. Mandayam AAML 55 94 0 02 May 2018
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,842 0 03 Feb 2017