v1v2v3 (latest)

Safety Verification of Deep Neural Networks

21 October 2016

Min Wu

Papers citing "Safety Verification of Deep Neural Networks"

50 / 448 papers shown

Title
A Formalization of Robustness for Deep Neural Networks T. Dreossi Shromona Ghosh Alberto L. Sangiovanni-Vincentelli Sanjit A. Seshia GAN 71 30 0 24 Mar 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
On Certifying Non-uniform Bound against Adversarial Attacks Chen Liu Ryota Tomioka Volkan Cevher AAML 79 19 0 15 Mar 2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks L. Cardelli Marta Kwiatkowska Luca Laurenti Nicola Paoletti A. Patané Matthew Wicker AAML 89 54 0 05 Mar 2019
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 92 233 0 04 Mar 2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification Jianlin Li Pengfei Yang Jiangchao Liu Liqian Chen Xiaowei Huang Lijun Zhang AAML 76 80 0 26 Feb 2019
Verification of Non-Linear Specifications for Neural Networks Chongli Qin Krishnamurthy Dvijotham Dvijotham Brendan O'Donoghue Rudy Bunel Robert Stanforth Sven Gowal J. Uesato G. Swirszcz Pushmeet Kohli AAML 68 44 0 25 Feb 2019
A Deep, Information-theoretic Framework for Robust Biometric Recognition Renjie Xie Yanzhi Chen Yan Wo Qiao Wang OOD AAML 32 1 0 23 Feb 2019
Robustness of Neural Networks: A Probabilistic and Practical Approach Ravi Mangal A. Nori A. Orso AAML OOD 76 76 0 15 Feb 2019
DeepFault: Fault Localization for Deep Neural Networks Hasan Ferit Eniser Simos Gerasimou A. Sen AAML 81 88 0 15 Feb 2019
Towards a Robust Deep Neural Network in Texts: A Survey Wenqi Wang Benxiao Tang Run Wang Lina Wang Aoshuang Ye AAML 99 39 0 12 Feb 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 207 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 70 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
Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing Jingyi Wang Guoliang Dong Jun Sun Xinyu Wang Peixin Zhang AAML 76 191 0 14 Dec 2018
Adversarial Defense of Image Classification Using a Variational Auto-Encoder Yi-Si Luo H. Pfister AAML 51 9 0 07 Dec 2018
Probabilistic Verification of Fairness Properties via Concentration Osbert Bastani Xin Zhang Armando Solar-Lezama FaML FedML 81 72 0 02 Dec 2018
Formal Verification of CNN-based Perception Systems Panagiotis Kouvaros A. Lomuscio 73 38 0 28 Nov 2018
Abduction-Based Explanations for Machine Learning Models Alexey Ignatiev Nina Narodytska Sasha Rubin FAtt 67 226 0 26 Nov 2018
A Statistical Approach to Assessing Neural Network Robustness Stefan Webb Tom Rainforth Yee Whye Teh M. P. Kumar AAML 72 83 0 17 Nov 2018
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel Chang-Xue Feng Zhenbang Chen W.-Y. Hong Hengbiao Yu Wei Dong Ji Wang AAML 54 1 0 17 Nov 2018
Evaluating Uncertainty Quantification in End-to-End Autonomous Driving Control Rhiannon Michelmore Marta Kwiatkowska Y. Gal UQCV 68 103 0 16 Nov 2018
DeepSaucer: Unified Environment for Verifying Deep Neural Networks Naoto Sato Duong Nguyen Anh M. Kaneko Yuichiroh Nakagawa H. Ogawa Son Hoang Michael J. Butler 50 1 0 09 Nov 2018
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou Mohsen Guizani AAML 43 23 0 06 Nov 2018
Security for Machine Learning-based Systems: Attacks and Challenges during Training and Inference Faiq Khalid Muhammad Abdullah Hanif Semeen Rehman Mohamed Bennai AAML 48 22 0 05 Nov 2018
Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance Vince Kurtz Hai Lin 41 11 0 02 Nov 2018
Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation Matthew O'Kelly Aman Sinha Hongseok Namkoong John C. Duchi Russ Tedrake 121 217 0 31 Oct 2018
Compositional Verification for Autonomous Systems with Deep Learning Components C. Păsăreanu D. Gopinath Huafeng Yu 32 20 0 18 Oct 2018
Security Matters: A Survey on Adversarial Machine Learning Guofu Li Pengjia Zhu Jin Li Zhemin Yang Ning Cao Zhiyi Chen AAML 90 25 0 16 Oct 2018
Secure Deep Learning Engineering: A Software Quality Assurance Perspective Lei Ma Felix Juefei Xu Minhui Xue Q. Hu Sen Chen Yue Liu Yang Liu Jianjun Zhao Jianxiong Yin Simon See AAML 80 35 0 10 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 88 102 0 03 Oct 2018
Adversarial Examples - A Complete Characterisation of the Phenomenon A. Serban E. Poll Joost Visser SILM AAML 102 49 0 02 Oct 2018
Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli Sanjit A. Seshia 76 263 0 25 Sep 2018
Efficient Formal Safety Analysis of Neural Networks Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 81 406 0 19 Sep 2018
Robustness Guarantees for Bayesian Inference with Gaussian Processes L. Cardelli Marta Kwiatkowska Luca Laurenti A. Patané AAML 72 52 0 17 Sep 2018
A Roadmap for Robust End-to-End Alignment L. Hoang 62 1 0 04 Sep 2018
Guiding Deep Learning System Testing using Surprise Adequacy Jinhan Kim R. Feldt S. Yoo AAML ELM 76 433 0 25 Aug 2018
Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262 Rick Salay Krzysztof Czarnecki 99 70 0 05 Aug 2018
The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems Spencer M. Richards Felix Berkenkamp Andreas Krause 68 229 0 02 Aug 2018
MLCapsule: Guarded Offline Deployment of Machine Learning as a Service L. Hanzlik Yang Zhang Kathrin Grosse A. Salem Maximilian Augustin Michael Backes Mario Fritz OffRL 93 106 0 01 Aug 2018
Symbolic Execution for Deep Neural Networks D. Gopinath Kaiyuan Wang Mengshi Zhang C. Păsăreanu S. Khurshid AAML 81 54 0 27 Jul 2018
Neural State Classification for Hybrid Systems Dung Phan Nicola Paoletti Timothy Zhang Radu Grosu S. Smolka Scott D. Stoller 41 20 0 26 Jul 2018
Boosting Combinatorial Problem Modeling with Machine Learning M. Lombardi M. Milano AI4CE 76 65 0 15 Jul 2018
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees Min Wu Matthew Wicker Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 91 111 0 10 Jul 2018
Formal Specification and Verification of Autonomous Robotic Systems: A Survey Matt Luckcuck M. Farrell Louise A. Dennis C. Dixon Michael Fisher 164 160 0 29 Jun 2018
Combinatorial Testing for Deep Learning Systems Lei Ma Fuyuan Zhang Minhui Xue Yue Liu Yang Liu Jianjun Zhao Yadong Wang AAML OffRL 69 73 0 20 Jun 2018
Scaling provable adversarial defenses Eric Wong Frank R. Schmidt J. H. Metzen J. Zico Kolter AAML 80 450 0 31 May 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