Toward Scalable Verification for Safety-Critical Deep Networks

Toward Scalable Verification for Safety-Critical Deep Networks

18 January 2018

Justin Emile Gottschlich

Clark W. Barrett

Mykel Kochenderfer

Papers citing "Toward Scalable Verification for Safety-Critical Deep Networks"

16 / 16 papers shown

Title
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 46 13 0 06 Dec 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 94 37 0 26 May 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 45 26 0 06 Jan 2022
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 35 15 0 18 Oct 2021
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 26 20 0 28 May 2021
Shallow Bayesian Meta Learning for Real-World Few-Shot Recognition Xueting Zhang Debin Meng Henry Gouk Timothy M. Hospedales BDL UQCV 39 68 0 08 Jan 2021
How Well Do Self-Supervised Models Transfer? Linus Ericsson Henry Gouk Timothy M. Hospedales SSL 35 274 0 26 Nov 2020
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 27 58 0 05 Nov 2020
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1 Robin Bloomfield Gareth Fletcher Heidy Khlaaf Philippa Ryan Shuji Kinoshita ... M. Takeyama Yamato Matsubara Peter Popov Peter Popov Kazuki Imai Yoshinori Tsutake 34 3 0 28 Feb 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 27 122 0 31 Oct 2019
Simplifying Neural Networks using Formal Verification S. Gokulanathan Alexander Feldsher Adi Malca Clark W. Barrett Guy Katz 38 4 0 25 Oct 2019
Testing and verification of neural-network-based safety-critical control software: A systematic literature review Jin Zhang Jingyue Li 25 47 0 05 Oct 2019
Grammar Based Directed Testing of Machine Learning Systems Sakshi Udeshi Sudipta Chattopadhyay 27 15 0 26 Feb 2019
Automated Verification of Neural Networks: Advances, Challenges and Perspectives Francesco Leofante Nina Narodytska Luca Pulina A. Tacchella AAML 28 69 0 25 May 2018
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
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 368 5,849 0 08 Jul 2016