NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems

12 April 2020

Papers citing "NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems"

33 / 33 papers shown

Title
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 64 6 0 17 Feb 2025
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis Long Kiu Chung Shreyas Kousik 93 0 0 22 Jan 2025
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 55 12 0 31 Aug 2024
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling Feiyang Cai Chuchu Fan Stanley Bak 57 6 0 28 May 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 30 0 0 27 May 2024
Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics David Boetius Stefan Leue 16 0 0 24 May 2024
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward Xuan Xie Jiayang Song Zhehua Zhou Yuheng Huang Da Song Lei Ma OffRL 35 6 0 12 Apr 2024
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Yuhao Zhou S. Tripakis 6 1 0 17 Dec 2023
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach Neelanjana Pal Taylor T. Johnson 6 0 0 16 Nov 2023
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 49 7 0 28 Aug 2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 8 12 0 27 Jul 2023
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction Weiming Xiang Zhongzhu Shao 13 3 0 17 Jan 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 17 65 0 14 Jan 2023
Safety Analysis of Autonomous Driving Systems Based on Model Learning Renjue Li Tianhang Qin Pengfei Yang Cheng-Chao Huang Youcheng Sun Lijun Zhang 8 1 0 23 Nov 2022
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers James Ferlez Yasser Shoukry 10 1 0 20 Sep 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 19 32 0 06 Jul 2022
PRoA: A Probabilistic Robustness Assessment against Functional Perturbations Tianle Zhang Wenjie Ruan J. Fieldsend AAML 11 21 0 05 Jul 2022
Safe Neurosymbolic Learning with Differentiable Symbolic Execution Chenxi Yang Swarat Chaudhuri 15 9 0 15 Mar 2022
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability Stanley Bak Hoang-Dung Tran AAML 11 15 0 17 Jan 2022
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes Christian Schilling M. Forets Sebastián Guadalupe 14 38 0 16 Dec 2021
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking Xidan Song Edoardo Manino Luiz Sena E. Alves Eddie Batista de Lima Filho I. Bessa M. Luján Lucas C. Cordeiro 14 5 0 25 Nov 2021
Learning Density Distribution of Reachable States for Autonomous Systems Yue Meng Dawei Sun Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 54 19 0 14 Sep 2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 10 112 0 31 Aug 2021
Verifying Low-dimensional Input Neural Networks via Input Quantization Kai Jia Martin Rinard AAML 9 13 0 18 Aug 2021
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems Chao Huang Jiameng Fan Zhilu Wang Yixuan Wang Weichao Zhou Jiajun Li Xin Chen Wenchao Li Qi Zhu 24 47 0 25 Jun 2021
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning Zikang Xiong Suresh Jagannathan 11 6 0 20 Apr 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 24 55 0 06 Apr 2021
Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong Haoze Wu Aleksandar Zeljić Kyle D. Julian Guy Katz Clark W. Barrett Mykel J. Kochenderfer AAML 12 33 0 07 Oct 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 4 127 0 12 Apr 2020
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices Xiaodong Yang Hoang-Dung Tran Weiming Xiang Taylor Johnson CVBM 65 19 0 02 Mar 2020
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 289 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 222 1,818 0 03 Feb 2017
MatConvNet - Convolutional Neural Networks for MATLAB Andrea Vedaldi Karel Lenc 181 2,943 0 15 Dec 2014