Towards Safety Verification of Direct Perception Neural Networks

v1v2 (latest)

Towards Safety Verification of Direct Perception Neural Networks

9 April 2019

Chih-Hong Cheng

Chung-Hao Huang

ArXiv (abs)PDF HTML

Papers citing "Towards Safety Verification of Direct Perception Neural Networks"

15 / 15 papers shown

Title
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 61 80 0 26 Feb 2019
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 65 51 0 18 Dec 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 74 271 0 06 May 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 84 478 0 28 Apr 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 108 695 0 25 Apr 2018
Verifying Properties of Binarized Deep Neural Networks Nina Narodytska S. Kasiviswanathan L. Ryzhyk Shmuel Sagiv T. Walsh AAML 69 217 0 19 Sep 2017
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 67 359 0 22 Jun 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 106 626 0 03 May 2017
Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng Georg Nührenberg Harald Ruess AAML 117 284 0 28 Apr 2017
Opening the Black Box of Deep Neural Networks via Information Ravid Shwartz-Ziv Naftali Tishby AI4CE 111 1,416 0 02 Mar 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 318 1,874 0 03 Feb 2017
Universal adversarial perturbations Seyed-Mohsen Moosavi-Dezfooli Alhussein Fawzi Omar Fawzi P. Frossard AAML 150 2,533 0 26 Oct 2016
DeepDriving: Learning Affordance for Direct Perception in Autonomous Driving Chenyi Chen Ari Seff A. Kornhauser Jianxiong Xiao 99 1,765 0 01 May 2015
Deep Learning and the Information Bottleneck Principle Naftali Tishby Noga Zaslavsky DRL 214 1,592 0 09 Mar 2015
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 282 14,963 1 21 Dec 2013