v1v2v3 (latest)

Safety Verification of Deep Neural Networks

21 October 2016

Min Wu

Papers citing "Safety Verification of Deep Neural Networks"

50 / 448 papers shown

Title
Combining Deep Learning and Verification for Precise Object Instance Detection Siddharth Ancha Junyu Nan David Held 63 3 0 27 Dec 2019
A Survey of Deep Learning Applications to Autonomous Vehicle Control Sampo Kuutti Richard Bowden Yaochu Jin P. Barber Saber Fallah 122 527 0 23 Dec 2019
Certified Robustness for Top-k Predictions against Adversarial Perturbations via Randomized Smoothing Jinyuan Jia Xiaoyu Cao Binghui Wang Neil Zhenqiang Gong AAML 60 96 0 20 Dec 2019
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 128 14 0 13 Dec 2019
300 GHz Radar Object Recognition based on Deep Neural Networks and Transfer Learning Marcel Sheeny Andrew M. Wallace Sen Wang 145 20 0 06 Dec 2019
Perfectly Parallel Fairness Certification of Neural Networks Caterina Urban M. Christakis Valentin Wüstholz Fuyuan Zhang 105 72 0 05 Dec 2019
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks Mahum Naseer M. Minhas Faiq Khalid Muhammad Abdullah Hanif Osman Hasan Mohamed Bennai AAML 85 17 0 03 Dec 2019
Adversarial Examples in Modern Machine Learning: A Review R. Wiyatno Anqi Xu Ousmane Amadou Dia A. D. Berker AAML 127 105 0 13 Nov 2019
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 125 127 0 31 Oct 2019
Algorithmic decision-making in AVs: Understanding ethical and technical concerns for smart cities H. S. M. Lim Araz Taeihagh 66 84 0 29 Oct 2019
Certified Adversarial Robustness for Deep Reinforcement Learning Björn Lütjens Michael Everett Jonathan P. How AAML 101 95 0 28 Oct 2019
Simplifying Neural Networks using Formal Verification S. Gokulanathan Alexander Feldsher Adi Malca Clark W. Barrett Guy Katz 103 4 0 25 Oct 2019
DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks Fuyuan Zhang Sankalan Pal Chowdhury M. Christakis AAML 58 8 0 14 Oct 2019
Verification of Neural Networks: Specifying Global Robustness using Generative Models Nathanaël Fijalkow M. Gupta AAML 24 2 0 11 Oct 2019
Testing and verification of neural-network-based safety-critical control software: A systematic literature review Jin Zhang Jingyue Li 85 48 0 05 Oct 2019
Towards Robust Direct Perception Networks for Automated Driving Chih-Hong Cheng 14 1 0 30 Sep 2019
Adversarial Vulnerability Bounds for Gaussian Process Classification M. Smith Kathrin Grosse Michael Backes Mauricio A. Alvarez AAML 55 9 0 19 Sep 2019
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks Hao Ren Sai Krishnan Chandrasekar A. Murugesan AAML 20 3 0 18 Sep 2019
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks Matthew Sotoudeh Aditya V. Thakur 24 4 0 17 Aug 2019
Computing Linear Restrictions of Neural Networks Matthew Sotoudeh Aditya V. Thakur 41 24 0 17 Aug 2019
Benchmarking the Robustness of Semantic Segmentation Models Christoph Kamann Carsten Rother VLM UQCV 84 164 0 14 Aug 2019
Refactoring Neural Networks for Verification David Shriver Dong Xu Sebastian G. Elbaum Matthew B. Dwyer 61 7 0 06 Aug 2019
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA Luiz Sena I. Bessa M. R. Gadelha Lucas C. Cordeiro E. Mota 32 11 0 30 Jul 2019
Towards Logical Specification of Statistical Machine Learning Yusuke Kawamoto CML 48 7 0 24 Jul 2019
An Inductive Synthesis Framework for Verifiable Reinforcement Learning He Zhu Zikang Xiong Stephen Magill Suresh Jagannathan 72 97 0 16 Jul 2019
A Systematic Mapping Study on Testing of Machine Learning Programs S. Sherin Muhammad Uzair Khan Muhammad Zohaib Z. Iqbal 39 13 0 11 Jul 2019
On Validating, Repairing and Refining Heuristic ML Explanations Alexey Ignatiev Nina Narodytska Sasha Rubin FAtt LRM 76 63 0 04 Jul 2019
Neural Network Verification for the Masses (of AI graduates) Ekaterina Komendantskaya Rob Stewart Kirsy Duncan Daniel Kienitz Pierre Le Hen Pascal Bacchus 21 0 0 02 Jul 2019
Robustness Guarantees for Deep Neural Networks on Videos Min Wu Marta Z. Kwiatkowska AAML 83 23 0 28 Jun 2019
Verifying Robustness of Gradient Boosted Models Gil Einziger M. Goldstein Yaniv Saár Itai Segall 88 41 0 26 Jun 2019
ReachNN: Reachability Analysis of Neural-Network Controlled Systems Chao Huang Jiameng Fan Wenchao Li Xin Chen Qi Zhu 74 81 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 89 105 0 25 Jun 2019
Risks from Learned Optimization in Advanced Machine Learning Systems Evan Hubinger Chris van Merwijk Vladimir Mikulik Joar Skalse Scott Garrabrant 105 154 0 05 Jun 2019
Correctness Verification of Neural Networks Yichen Yang Martin Rinard AAML 67 12 0 03 Jun 2019
A Review of Deep Learning with Special Emphasis on Architectures, Applications and Recent Trends Saptarshi Sengupta Sanchita Basak P. Saikia Sayak Paul Vasilios Tsalavoutis Frederick Ditliac Atiah V. Ravi R. Peters AI4CE 166 347 0 30 May 2019
Adversarial Robustness Guarantees for Classification with Gaussian Processes Arno Blaas A. Patané Luca Laurenti L. Cardelli Marta Z. Kwiatkowska Stephen J. Roberts GP AAML 89 21 0 28 May 2019
Model-Agnostic Counterfactual Explanations for Consequential Decisions Amir-Hossein Karimi Gilles Barthe Borja Balle Isabel Valera 111 323 0 27 May 2019
Testing DNN Image Classifiers for Confusion & Bias Errors Yuchi Tian Ziyuan Zhong Vicente Ordonez Gail E. Kaiser Baishakhi Ray 153 53 0 20 May 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 114 18 0 19 May 2019
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges Rob Ashmore R. Calinescu Colin Paterson AI4TS 73 119 0 10 May 2019
Formal Verification of Input-Output Mappings of Tree Ensembles John Törnblom Simin Nadjm-Tehrani 80 36 0 10 May 2019
Property Inference for Deep Neural Networks D. Gopinath Hayes Converse C. Păsăreanu Ankur Taly 50 8 0 29 Apr 2019
Robustness Verification of Support Vector Machines Francesco Ranzato Marco Zanella AAML 81 18 0 26 Apr 2019
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges Naoto Sato Hironobu Kuruma Y. Nakagawa H. Ogawa 64 12 0 26 Apr 2019
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Greg Anderson Shankara Pailoor Işıl Dillig Swarat Chaudhuri AAML 85 101 0 22 Apr 2019
Reward Potentials for Planning with Learned Neural Network Transition Models B. Say Scott Sanner Sylvie Thiébaux 32 4 0 19 Apr 2019
On Training Robust PDF Malware Classifiers Yizheng Chen Shiqi Wang Dongdong She Suman Jana AAML 99 69 0 06 Apr 2019
Robustness of 3D Deep Learning in an Adversarial Setting Matthew Wicker Marta Kwiatkowska 3DPC 74 99 0 01 Apr 2019
Engineering problems in machine learning systems Hiroshi Kuwajima Hirotoshi Yasuoka Toshihiro Nakae 42 3 0 01 Apr 2019
Robustness of Neural Networks to Parameter Quantization A. Murthy Himel Das Md. Ariful Islam 24 5 0 26 Mar 2019