Towards Safety Verification of Direct Perception Neural Networks

9 April 2019

Papers citing "Towards Safety Verification of Direct Perception Neural Networks"

4 / 4 papers shown

Title
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining Akshay Dhonthi E. M. Hahn Vahid Hashemi AAML 30 2 0 14 Dec 2022
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation Chih-Hong Cheng Changshun Wu Emmanouil Seferis Saddek Bensalem 31 3 0 16 May 2022
Provably-Robust Runtime Monitoring of Neuron Activation Patterns Chih-Hong Cheng AAML 43 12 0 24 Nov 2020
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