A Survey of Safety and Trustworthiness of Deep Neural Networks:
Verification, Testing, Adversarial Attack and Defence, and Interpretability

A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability

18 December 2018

Daniel Kroening

Min Wu

Papers citing "A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability"

12 / 12 papers shown

Title
CEG4N: Counter-Example Guided Neural Network Quantization Refinement J. Matos I. Bessa Edoardo Manino Xidan Song Lucas C. Cordeiro MQ 48 2 0 09 Jul 2022
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation Enrico Marchesini Davide Corsi Alessandro Farinelli 16 18 0 16 Dec 2021
Detecting Adversarial Examples by Input Transformations, Defense Perturbations, and Voting F. Nesti Alessandro Biondi Giorgio Buttazzo AAML 13 39 0 27 Jan 2021
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks Dario Guidotti Luca Pulina A. Tacchella 3DV 12 3 0 18 Nov 2020
Adversarial Examples on Object Recognition: A Comprehensive Survey A. Serban E. Poll Joost Visser AAML 25 73 0 07 Aug 2020
Importance-Driven Deep Learning System Testing Simos Gerasimou Hasan Ferit Eniser A. Sen Alper Çakan AAML VLM 30 98 0 09 Feb 2020
Machine Learning Testing: Survey, Landscapes and Horizons Jie M. Zhang Mark Harman Lei Ma Yang Liu VLM AILaw 24 739 0 19 Jun 2019
Architecting Dependable Learning-enabled Autonomous Systems: A Survey Chih-Hong Cheng Dhiraj Gulati Rongjie Yan 27 4 0 27 Feb 2019
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 292 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 240 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 287 5,837 0 08 Jul 2016