v1v2v3 (latest)

Safety Verification of Deep Neural Networks

21 October 2016

Min Wu

Papers citing "Safety Verification of Deep Neural Networks"

50 / 451 papers shown

Title
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles Xingyu Zhao K. Salako L. Strigini Valentin Robu David Flynn 80 41 0 19 Aug 2020
Adversarial Examples on Object Recognition: A Comprehensive Survey A. Serban E. Poll Joost Visser AAML 148 76 0 07 Aug 2020
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples I. Papusha Rosa Wu Joshua Brulé Yanni Kouskoulas D. Genin Aurora C. Schmidt 35 5 0 03 Aug 2020
On the Generalizability of Neural Program Models with respect to Semantic-Preserving Program Transformations Md Rafiqul Islam Rabin Nghi D. Q. Bui Ke Wang Yijun Yu Lingxiao Jiang Mohammad Amin Alipour 166 93 0 31 Jul 2020
Adaptable and Verifiable BDI Reasoning Peter Stringer R. C. Cardoso Xiaowei Huang Louise A. Dennis 120 8 0 23 Jul 2020
Robust Machine Learning via Privacy/Rate-Distortion Theory Ye Wang Shuchin Aeron Adnan Siraj Rakin T. Koike-Akino P. Moulin OOD 92 7 0 22 Jul 2020
DiffRNN: Differential Verification of Recurrent Neural Networks Sara Mohammadinejad Brandon Paulsen Chao Wang Jyotirmoy V. Deshmukh 130 12 0 20 Jul 2020
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 101 64 0 18 Jul 2020
Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels Wenjie Wan Zhaodi Zhang Yiwei Zhu Min Zhang Fu Song AAML 88 9 0 16 Jul 2020
Certifying Decision Trees Against Evasion Attacks by Program Analysis Stefano Calzavara Pietro Ferrara Claudio Lucchese AAML 78 11 0 06 Jul 2020
Neural Network Virtual Sensors for Fuel Injection Quantities with Provable Performance Specifications Eric Wong Tim Schneider Joerg Schmitt Frank R. Schmidt J. Zico Kolter AAML 83 8 0 30 Jun 2020
Scaling Symbolic Methods using Gradients for Neural Model Explanation Subham S. Sahoo Subhashini Venugopalan Li Li Rishabh Singh Patrick F. Riley FAtt 148 8 0 29 Jun 2020
Interpretable and Trustworthy Deepfake Detection via Dynamic Prototypes Loc Trinh Michael Tsang Sirisha Rambhatla Yan Liu 46 6 0 28 Jun 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification Christian Tjandraatmadja Ross Anderson Joey Huchette Will Ma Krunal Patel J. Vielma AAML 145 92 0 24 Jun 2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification P. Ashok Vahid Hashemi Jan Křetínský S. Mohr 66 51 0 24 Jun 2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs Christopher Brix T. Noll AAML 73 10 0 16 Jun 2020
Counterexample-Guided Learning of Monotonic Neural Networks Aishwarya Sivaraman G. Farnadi T. Millstein Karen Ullrich 81 55 0 16 Jun 2020
Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains Vaishak Belle NAI LRM 137 36 0 15 Jun 2020
On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples Richard Y. Zhang AAML 103 26 0 11 Jun 2020
Global Robustness Verification Networks Weidi Sun Yuteng Lu Xiyue Zhang Zhanxing Zhu Meng Sun AAML 43 2 0 08 Jun 2020
Second-Order Provable Defenses against Adversarial Attacks Sahil Singla Soheil Feizi AAML 105 61 0 01 Jun 2020
Formal Methods with a Touch of Magic P. A. Alamdari Guy Avni T. Henzinger Anna Lukina OffRL 80 16 0 25 May 2020
SINVAD: Search-based Image Space Navigation for DNN Image Classifier Test Input Generation Sungmin Kang R. Feldt S. Yoo AAML 120 34 0 19 May 2020
Probabilistic Guarantees for Safe Deep Reinforcement Learning E. Bacci David Parker 114 28 0 14 May 2020
Online Monitoring for Neural Network Based Monocular Pedestrian Pose Estimation Arjun Gupta Luca Carlone 3DH 55 9 0 11 May 2020
Efficient Exact Verification of Binarized Neural Networks Kai Jia Martin Rinard AAML MQ 65 62 0 07 May 2020
An Epistemic Approach to the Formal Specification of Statistical Machine Learning Yusuke Kawamoto CML 88 5 0 27 Apr 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 86 81 0 16 Apr 2020
Evaluation of Generalizability of Neural Program Analyzers under Semantic-Preserving Transformations Md Rafiqul Islam Rabin Mohammad Amin Alipour NAI 100 20 0 15 Apr 2020
Certifiable Robustness to Adversarial State Uncertainty in Deep Reinforcement Learning Michael Everett Bjorn Lutjens Jonathan P. How AAML 87 45 0 11 Apr 2020
Verifying Recurrent Neural Networks using Invariant Inference Y. Jacoby Clark W. Barrett Guy Katz 86 45 0 06 Apr 2020
Sample-Specific Output Constraints for Neural Networks Mathis Brosowsky Olaf Dünkel Daniel Slieter Marius Zöllner AILaw PINN 89 10 0 23 Mar 2020
Vulnerabilities of Connectionist AI Applications: Evaluation and Defence Christian Berghoff Matthias Neu Arndt von Twickel AAML 129 25 0 18 Mar 2020
A Safety Framework for Critical Systems Utilising Deep Neural Networks Xingyu Zhao Alec Banks James Sharp Valentin Robu David Flynn Michael Fisher Xiaowei Huang AAML 110 49 0 07 Mar 2020
Teaching Temporal Logics to Neural Networks Christopher Hahn Frederik Schmitt Jens U. Kreber M. Rabe Bernd Finkbeiner NAI 147 70 0 06 Mar 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 118 40 0 06 Mar 2020
Metrics and methods for robustness evaluation of neural networks with generative models Igor Buzhinsky Arseny Nerinovsky S. Tripakis AAML 113 26 0 04 Mar 2020
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices Xiaodong Yang Hoang-Dung Tran Weiming Xiang Taylor Johnson CVBM 109 19 0 02 Mar 2020
Towards Probability-based Safety Verification of Systems with Components from Machine Learning H. Kaindl Stefan Kramer 81 1 0 02 Mar 2020
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1 Robin Bloomfield Gareth Fletcher Heidy Khlaaf Philippa Ryan Shuji Kinoshita ... M. Takeyama Yamato Matsubara Peter Popov Peter Popov Kazuki Imai Yoshinori Tsutake 71 3 0 28 Feb 2020
Testing Monotonicity of Machine Learning Models Arnab Sharma Heike Wehrheim 85 9 0 27 Feb 2020
Overfitting in adversarially robust deep learning Leslie Rice Eric Wong Zico Kolter 271 829 0 26 Feb 2020
Symbolic Learning and Reasoning with Noisy Data for Probabilistic Anchoring Pedro Zuidberg Dos Martires Nitesh Kumar Andreas Persson Amy Loutfi Luc de Raedt 47 11 0 24 Feb 2020
Strategy to Increase the Safety of a DNN-based Perception for HAD Systems Timo Sämann Peter Schlicht Fabian Hüger 58 15 0 20 Feb 2020
Regularized Training and Tight Certification for Randomized Smoothed Classifier with Provable Robustness Huijie Feng Chunpeng Wu Guoyang Chen Weifeng Zhang Y. Ning AAML 87 12 0 17 Feb 2020
Importance-Driven Deep Learning System Testing Simos Gerasimou Hasan Ferit Eniser A. Sen Alper Çakan AAML VLM 110 99 0 09 Feb 2020
Input Validation for Neural Networks via Runtime Local Robustness Verification Jiangchao Liu Liqian Chen A. Miné Ji Wang AAML 84 11 0 09 Feb 2020
Reliability Validation of Learning Enabled Vehicle Tracking Youcheng Sun Yifan Zhou Simon Maskell James Sharp Xiaowei Huang 71 10 0 06 Feb 2020
An Analysis of Adversarial Attacks and Defenses on Autonomous Driving Models Yao Deng Xi Zheng Tianyi Zhang Chen Chen Guannan Lou Miryung Kim AAML 69 152 0 06 Feb 2020
On the Convergence of Artificial Intelligence and Distributed Ledger Technology: A Scoping Review and Future Research Agenda Konstantin D. Pandl Scott Thiebes Manuel Schmidt-Kraepelin Ali Sunyaev 103 75 0 29 Jan 2020