v1v2v3 (latest)

Safety Verification of Deep Neural Networks

21 October 2016

Min Wu

Papers citing "Safety Verification of Deep Neural Networks"

50 / 451 papers shown

Title
Systems Challenges for Trustworthy Embodied Systems Harald Ruess 61 2 0 10 Jan 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 120 28 0 06 Jan 2022
The King is Naked: on the Notion of Robustness for Natural Language Processing Emanuele La Malfa Marta Z. Kwiatkowska 155 27 0 13 Dec 2021
SaDe: Learning Models that Provably Satisfy Domain Constraints Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel ALM 98 5 0 01 Dec 2021
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance Yizhen Dong Wei Huang Vibhav Bharti V. Cox Alec Banks Sen Wang Xingyu Zhao S. Schewe Xiaowei Huang 85 20 0 30 Nov 2021
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking Xidan Song Edoardo Manino Luiz Sena E. Alves Eddie Batista de Lima Filho I. Bessa M. Luján Lucas C. Cordeiro 87 5 0 25 Nov 2021
ε-weakened Robustness of Deep Neural Networks Pei Huang Yuting Yang Minghao Liu Fuqi Jia Feifei Ma Jian Zhang AAML 87 18 0 29 Oct 2021
RoMA: a Method for Neural Network Robustness Measurement and Assessment Natan Levy Guy Katz OOD AAML 116 13 0 21 Oct 2021
Permutation Invariance of Deep Neural Networks with ReLUs Diganta Mukhopadhyay Kumar Madhukar M. Srivas AAML 49 0 0 18 Oct 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 106 14 0 18 Oct 2021
Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching Osbert Bastani 58 0 0 11 Oct 2021
Neural Network Verification in Control M. Everett AAML 88 17 0 30 Sep 2021
Towards Energy-Efficient and Secure Edge AI: A Cross-Layer Framework Mohamed Bennai Alberto Marchisio Rachmad Vidya Wicaksana Putra Muhammad Abdullah Hanif 119 38 0 20 Sep 2021
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare Yan Jia John McDermid T. Lawton Ibrahim Habli 122 53 0 01 Sep 2021
Certifiers Make Neural Networks Vulnerable to Availability Attacks Tobias Lorenz Marta Kwiatkowska Mario Fritz AAML SILM 121 3 0 25 Aug 2021
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications Wenjie Ruan Xinping Yi Xiaowei Huang AAML OOD 75 17 0 24 Aug 2021
Robustness testing of AI systems: A case study for traffic sign recognition Christian Berghoff Pavol Bielik Matthias Neu Petar Tsankov Arndt von Twickel AAML 46 13 0 13 Aug 2021
Neural Network Repair with Reachability Analysis Xiaodong Yang Tomochika Yamaguchi Hoang-Dung Tran Bardh Hoxha Taylor T. Johnson Danil Prokhorov AAML 70 31 0 09 Aug 2021
Reachability Analysis of Neural Feedback Loops M. Everett Golnaz Habibi Chuangchuang Sun Jonathan P. How 79 57 0 09 Aug 2021
Static analysis of ReLU neural networks with tropical polyhedra Eric Goubault Sébastien Palumby S. Putot Louis Rustenholz S. Sankaranarayanan 87 7 0 30 Jul 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 176 74 0 26 Jul 2021
Self-Correcting Neural Networks For Safe Classification Klas Leino Aymeric Fromherz Ravi Mangal Matt Fredrikson Bryan Parno C. Păsăreanu 72 6 0 23 Jul 2021
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions Eike Petersen Yannik Potdevin Esfandiar Mohammadi Stephan Zidowitz Sabrina Breyer ... Sandra Henn Ludwig Pechmann M. Leucker P. Rostalski Christian Herzog FaML AILaw OOD 137 26 0 20 Jul 2021
EvoBA: An Evolution Strategy as a Strong Baseline forBlack-Box Adversarial Attacks Andrei-Șerban Ilie Marius Popescu Alin Stefanescu AAML 88 7 0 12 Jul 2021
ANCER: Anisotropic Certification via Sample-wise Volume Maximization Francisco Eiras Motasem Alfarra M. P. Kumar Philip Torr P. Dokania Guohao Li Adel Bibi 93 32 0 09 Jul 2021
DeformRS: Certifying Input Deformations with Randomized Smoothing Motasem Alfarra Adel Bibi Naeemullah Khan Philip Torr Guohao Li 80 22 0 02 Jul 2021
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems Chao Huang Jiameng Fan Zhilu Wang Yixuan Wang Weichao Zhou Jiajun Li Xin Chen Wenchao Li Qi Zhu 109 53 0 25 Jun 2021
Reachability Analysis of Convolutional Neural Networks Xiaodong Yang Tomoya Yamaguchi Hoang-Dung Tran Bardh Hoxha Taylor T. Johnson Danil Prokhorov FAtt 71 6 0 22 Jun 2021
Evaluating the Robustness of Trigger Set-Based Watermarks Embedded in Deep Neural Networks Suyoung Lee Wonho Song Suman Jana M. Cha Sooel Son AAML 106 16 0 18 Jun 2021
Certification of embedded systems based on Machine Learning: A survey Guillaume Vidot Christophe Gabreau I. Ober Iulian Ober 56 12 0 14 Jun 2021
Verifying Quantized Neural Networks using SMT-Based Model Checking Luiz Sena Xidan Song E. Alves I. Bessa Edoardo Manino Lucas C. Cordeiro Eddie Batista de Lima Filho 99 11 0 10 Jun 2021
Taxonomy of Machine Learning Safety: A Survey and Primer Sina Mohseni Haotao Wang Zhiding Yu Chaowei Xiao Zhangyang Wang J. Yadawa 139 34 0 09 Jun 2021
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks Fabian Bauer-Marquart David Boetius Stefan Leue Christian Schilling AAML 212 6 0 03 Jun 2021
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles Xingyu Zhao Wei Huang Alec Banks V. Cox David Flynn S. Schewe Xiaowei Huang AAML UQCV 82 21 0 02 Jun 2021
The Care Label Concept: A Certification Suite for Trustworthy and Resource-Aware Machine Learning K. Morik Helena Kotthaus Lukas Heppe Danny Heinrich Raphael Fischer Andrea Pauly Nico Piatkowski 122 4 0 01 Jun 2021
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 123 20 0 28 May 2021
DNNV: A Framework for Deep Neural Network Verification David Shriver Sebastian G. Elbaum Matthew B. Dwyer 75 33 0 26 May 2021
Towards Scalable Verification of Deep Reinforcement Learning Guy Amir Michael Schapira Guy Katz OffRL 100 48 0 25 May 2021
A framework for the automation of testing computer vision systems F. Wotawa Lorenz Klampfl Ledio Jahaj 36 3 0 10 May 2021
Software Engineering for AI-Based Systems: A Survey Silverio Martínez-Fernández Justus Bogner Xavier Franch Marc Oriol Julien Siebert Adam Trendowicz Anna Maria Vollmer Stefan Wagner 144 245 0 05 May 2021
Fast Falsification of Neural Networks using Property Directed Testing Moumita Das Rajarshi Ray S. Mohalik A. Banerjee AAML 61 3 0 26 Apr 2021
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes Changshun Wu Yliès Falcone Saddek Bensalem 104 10 0 25 Apr 2021
Orthogonalizing Convolutional Layers with the Cayley Transform Asher Trockman J. Zico Kolter 130 119 0 14 Apr 2021
Provable Repair of Deep Neural Networks Matthew Sotoudeh Aditya V. Thakur AAML 117 74 0 09 Apr 2021
Adversarial Robustness Guarantees for Gaussian Processes A. Patané Arno Blaas Luca Laurenti L. Cardelli Stephen J. Roberts Marta Z. Kwiatkowska GP AAML 208 9 0 07 Apr 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 108 58 0 06 Apr 2021
Neural Network Robustness as a Verification Property: A Principled Case Study Marco Casadio Ekaterina Komendantskaya M. Daggitt Wen Kokke Guy Katz Guy Amir Idan Refaeli OOD AAML 131 43 0 03 Apr 2021
Performance Bounds for Neural Network Estimators: Applications in Fault Detection Navid Hashemi Mahyar Fazlyab Justin Ruths AAML 59 2 0 22 Mar 2021
Toward Neural-Network-Guided Program Synthesis and Verification N. Kobayashi Taro Sekiyama Issei Sato Hiroshi Unno NAI 143 4 0 17 Mar 2021
Attack as Defense: Characterizing Adversarial Examples using Robustness Zhe Zhao Guangke Chen Jingyi Wang Yiwei Yang Fu Song Jun Sun AAML 118 34 0 13 Mar 2021