Towards Safety Verification of Direct Perception Neural Networks

v1v2 (latest)

Towards Safety Verification of Direct Perception Neural Networks

9 April 2019

Chih-Hong Cheng

Chung-Hao Huang

ArXiv (abs)PDF HTML

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

5 / 5 papers shown

Title
Runtime Monitoring DNN-Based Perception Chih-Hong Cheng Michael Luttenberger Rongjie Yan 60 1 0 06 Oct 2023
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks V. Hashemi Jan Křetínský Sabine Rieder J. Schmidt OODD 55 7 0 15 Dec 2022
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining Akshay Dhonthi E. M. Hahn Vahid Hashemi AAML 47 2 0 14 Dec 2022
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation Chih-Hong Cheng Changshun Wu Emmanouil Seferis Saddek Bensalem 130 3 0 16 May 2022
Provably-Robust Runtime Monitoring of Neuron Activation Patterns Chih-Hong Cheng AAML 78 12 0 24 Nov 2020