Verification of Deep Convolutional Neural Networks Using ImageStars

12 April 2020

Papers citing "Verification of Deep Convolutional Neural Networks Using ImageStars"

20 / 20 papers shown

Title
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 71 6 0 17 Feb 2025
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis Long Kiu Chung Shreyas Kousik 105 0 0 22 Jan 2025
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 34 0 0 27 May 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 20 1 0 27 May 2024
PCV: A Point Cloud-Based Network Verifier A. Sarker Farzana Yasmin Ahmad Matthew B. Dwyer AAML 3DPC 14 1 0 27 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 19 65 0 14 Jan 2023
Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults Ayoosh Bansal Hunmin Kim Simon Yu Bo-wen Li N. Hovakimyan Marco Caccamo L. Sha AAML 22 4 0 04 Sep 2022
Verifiable Obstacle Detection Ayoosh Bansal Hunmin Kim Simon Yu Bo-Yi Li N. Hovakimyan Marco Caccamo L. Sha 17 6 0 30 Aug 2022
Verifying Neural Networks Against Backdoor Attacks Long H. Pham Jun Sun AAML 18 5 0 14 May 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 23 30 0 19 Mar 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 21 26 0 06 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
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 12 112 0 31 Aug 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 17 33 0 07 Oct 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 27 234 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