Specification-Guided Safety Verification for Feedforward Neural Networks

14 December 2018

Papers citing "Specification-Guided Safety Verification for Feedforward Neural Networks"

8 / 8 papers shown

Title
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 68 270 0 06 May 2018
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 31 98 0 21 Dec 2017
Output Range Analysis for Deep Neural Networks Souradeep Dutta Susmit Jha S. Sankaranarayanan A. Tiwari AAML 58 119 0 26 Sep 2017
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 103 293 0 09 Aug 2017
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 52 357 0 22 Jun 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 299 1,860 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 200 938 0 21 Oct 2016
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 239 14,893 1 21 Dec 2013