Global Robustness Evaluation of Deep Neural Networks with Provable
Guarantees for the $L_0$ Norm

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm

16 April 2018

Min Wu

Daniel Kroening

Marta Kwiatkowska

Papers citing "Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm"

10 / 10 papers shown

Title
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach Neelanjana Pal Taylor T. Johnson 27 0 0 16 Nov 2023
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 20 127 0 12 Apr 2020
Machine Learning Testing: Survey, Landscapes and Horizons Jie M. Zhang Mark Harman Lei Ma Yang Liu VLM AILaw 39 741 0 19 Jun 2019
Securing Connected & Autonomous Vehicles: Challenges Posed by Adversarial Machine Learning and The Way Forward A. Qayyum Muhammad Usama Junaid Qadir Ala I. Al-Fuqaha AAML 27 187 0 29 May 2019
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees Min Wu Matthew Wicker Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 19 111 0 10 Jul 2018
Concolic Testing for Deep Neural Networks Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska Daniel Kroening 22 334 0 30 Apr 2018
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks D. Gopinath Guy Katz C. Păsăreanu Clark W. Barrett AAML 50 87 0 02 Oct 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
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 329 5,849 0 08 Jul 2016