SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

3 June 2021

Papers citing "SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks"

5 / 5 papers shown

Title
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 45 1 0 27 May 2024
Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics David Boetius Stefan Leue 28 0 0 24 May 2024
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks David Boetius Stefan Leue Tobias Sutter 38 4 0 26 Jan 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 932 0 21 Oct 2016