Reachability Analysis of Deep Neural Networks with Provable Guarantees

Reachability Analysis of Deep Neural Networks with Provable Guarantees

6 May 2018

Marta Kwiatkowska

Papers citing "Reachability Analysis of Deep Neural Networks with Provable Guarantees"

18 / 68 papers shown

Title
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 55 48 0 07 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 34 3 0 28 Feb 2020
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 27 53 0 10 Jan 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 27 122 0 31 Oct 2019
Robustness Guarantees for Deep Neural Networks on Videos Min Wu Marta Z. Kwiatkowska AAML 19 22 0 28 Jun 2019
ReachNN: Reachability Analysis of Neural-Network Controlled Systems Chao Huang Jiameng Fan Wenchao Li Xin Chen Qi Zhu 31 78 0 25 Jun 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 24 104 0 25 Jun 2019
Taking Care of The Discretization Problem: A Comprehensive Study of the Discretization Problem and A Black-Box Adversarial Attack in Discrete Integer Domain Lei Bu Yuchao Duan Fu Song Zhe Zhao AAML 37 18 0 19 May 2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks L. Cardelli Marta Kwiatkowska Luca Laurenti Nicola Paoletti A. Patané Matthew Wicker AAML 31 54 0 05 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 24 80 0 26 Feb 2019
Specification-Guided Safety Verification for Feedforward Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 11 19 0 14 Dec 2018
Abduction-Based Explanations for Machine Learning Models Alexey Ignatiev Nina Narodytska Sasha Rubin FAtt 20 219 0 26 Nov 2018
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees Min Wu Matthew Wicker Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 21 111 0 10 Jul 2018
Concolic Testing for Deep Neural Networks Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska Daniel Kroening 25 334 0 30 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 24 38 0 16 Apr 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 293 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 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016