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"

12 / 12 papers shown

Title
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 36 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 89 37 0 26 May 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 32 26 0 06 Jan 2022
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 16 15 0 18 Oct 2021
Shallow Bayesian Meta Learning for Real-World Few-Shot Recognition Xueting Zhang Debin Meng H. Gouk Timothy M. Hospedales BDL UQCV 25 67 0 08 Jan 2021
How Well Do Self-Supervised Models Transfer? Linus Ericsson H. 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 11 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 24 3 0 28 Feb 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 11 122 0 31 Oct 2019
Simplifying Neural Networks using Formal Verification S. Gokulanathan Alexander Feldsher Adi Malca Clark W. Barrett Guy Katz 25 4 0 25 Oct 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 281 5,835 0 08 Jul 2016