Output Range Analysis for Deep Neural Networks

26 September 2017

Papers citing "Output Range Analysis for Deep Neural Networks"

45 / 45 papers shown

Title
Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes Carlos Trapiello C. Combastel A. Zolghadri 21 2 0 26 Jun 2023
Certified Zeroth-order Black-Box Defense with Robust UNet Denoiser Astha Verma A. Subramanyam Siddhesh Bangar Naman Lal R. Shah Shiníchi Satoh 115 5 0 13 Apr 2023
Model-Agnostic Reachability Analysis on Deep Neural Networks Chi Zhang Wenjie Ruan Fu Lee Wang Peipei Xu Geyong Min Xiaowei Huang 60 3 0 03 Apr 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 53 8 0 07 Mar 2023
PCV: A Point Cloud-Based Network Verifier A. Sarker Farzana Yasmin Ahmad Matthew B. Dwyer AAML 3DPC 54 1 0 27 Jan 2023
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks Yedi Zhang Zhe Zhao Fu Song Hao Fei Tao Chen Jun Sun 69 18 0 10 Dec 2022
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 106 7 0 23 Oct 2022
Neural Network Verification using Residual Reasoning Y. Elboher Elazar Cohen Guy Katz LRM 92 18 0 05 Aug 2022
How to Robustify Black-Box ML Models? A Zeroth-Order Optimization Perspective Yimeng Zhang Yuguang Yao Jinghan Jia Jinfeng Yi Min-Fong Hong Shiyu Chang Sijia Liu AAML 126 34 0 27 Mar 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 101 26 0 06 Jan 2022
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 80 15 0 18 Oct 2021
Learning Density Distribution of Reachable States for Autonomous Systems Yue Meng Dawei Sun Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 115 19 0 14 Sep 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 113 70 0 26 Jul 2021
Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe Panagiotis Vlantis Leila J. Bridgeman Michael M. Zavlanos 70 0 0 22 Jun 2021
Performance Bounds for Neural Network Estimators: Applications in Fault Detection Navid Hashemi Mahyar Fazlyab Justin Ruths AAML 33 2 0 22 Mar 2021
A Novel Framework for Threat Analysis of Machine Learning-based Smart Healthcare Systems Nur Imtiazul Haque M. Rahman Md Hasan Shahriar Alvi Ataur Khalil Selcuk Uluagac 74 14 0 05 Mar 2021
A Game Theoretic Analysis of Additive Adversarial Attacks and Defenses Ambar Pal René Vidal AAML 106 27 0 14 Sep 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Yue Liu AAML 123 131 0 09 Sep 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 85 76 0 16 Apr 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 97 243 0 12 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 66 129 0 12 Apr 2020
Verifying Recurrent Neural Networks using Invariant Inference Y. Jacoby Clark W. Barrett Guy Katz 51 45 0 06 Apr 2020
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices Xiaodong Yang Hoang-Dung Tran Weiming Xiang Taylor Johnson CVBM 94 19 0 02 Mar 2020
Exactly Computing the Local Lipschitz Constant of ReLU Networks Matt Jordan A. Dimakis 89 112 0 02 Mar 2020
Certified Robustness for Top-k Predictions against Adversarial Perturbations via Randomized Smoothing Jinyuan Jia Xiaoyu Cao Binghui Wang Neil Zhenqiang Gong AAML 60 96 0 20 Dec 2019
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 125 127 0 31 Oct 2019
Testing and verification of neural-network-based safety-critical control software: A systematic literature review Jin Zhang Jingyue Li 85 48 0 05 Oct 2019
ReLU Networks as Surrogate Models in Mixed-Integer Linear Programs B. Grimstad H. Andersson 64 143 0 06 Jul 2019
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Greg Anderson Shankara Pailoor Işıl Dillig Swarat Chaudhuri AAML 85 101 0 22 Apr 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 102 403 0 15 Mar 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 210 2,056 0 08 Feb 2019
Formal methods and software engineering for DL. Security, safety and productivity for DL systems development Gaétan Hains Arvid Jakobsson Y. Khmelevsky AI4CE 47 3 0 31 Jan 2019
Gray-box Adversarial Testing for Control Systems with Machine Learning Component Shakiba Yaghoubi Georgios Fainekos AAML 72 66 0 31 Dec 2018
A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability Xiaowei Huang Daniel Kroening Wenjie Ruan Marta Kwiatkowska Youcheng Sun Emese Thamo Min Wu Xinping Yi AAML 130 51 0 18 Dec 2018
Specification-Guided Safety Verification for Feedforward Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 52 20 0 14 Dec 2018
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 187 259 0 20 Nov 2018
Towards Robust Deep Neural Networks Timothy E. Wang Jack Gu D. Mehta Xiaojun Zhao Edgar A. Bernal OOD 94 11 0 27 Oct 2018
Verification for Machine Learning, Autonomy, and Neural Networks Survey Weiming Xiang Patrick Musau A. Wild Diego Manzanas Lopez Nathaniel P. Hamilton Xiaodong Yang Joel A. Rosenfeld Taylor T. Johnson 90 102 0 03 Oct 2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives Francesco Leofante Nina Narodytska Luca Pulina A. Tacchella AAML 66 70 0 25 May 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 76 271 0 06 May 2018
Semantic Adversarial Deep Learning Sanjit A. Seshia S. Jha T. Dreossi AAML SILM 77 91 0 19 Apr 2018
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components Cumhur Erkan Tuncali Georgios Fainekos Hisahiro Ito J. Kapinski 81 183 0 18 Apr 2018
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm Wenjie Ruan Min Wu Youcheng Sun Xiaowei Huang Daniel Kroening Marta Kwiatkowska AAML 65 39 0 16 Apr 2018
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems Cumhur Erkan Tuncali J. Kapinski Hisahiro Ito Jyotirmoy V. Deshmukh 73 42 0 11 Apr 2018
Testing Deep Neural Networks Youcheng Sun Xiaowei Huang Daniel Kroening James Sharp Matthew Hill Rob Ashmore AAML 88 219 0 10 Mar 2018