Logically Sound Arguments for the Effectiveness of ML Safety Measures

4 November 2021

Papers citing "Logically Sound Arguments for the Effectiveness of ML Safety Measures"

4 / 4 papers shown

Title
The Safety Shell: an Architecture to Handle Functional Insufficiencies in Automated Driving C. Hanselaar E. Silvas A. Terechko W. Heemels 14 5 0 20 Oct 2023
Towards Rigorous Design of OoD Detectors Chih-Hong Cheng Changshun Wu Harald Ruess Saddek Bensalem OODD 11 0 0 14 Jun 2023
Unaligned but Safe -- Formally Compensating Performance Limitations for Imprecise 2D Object Detection Tobias Schuster Emmanouil Seferis Simon Burton Chih-Hong Cheng 11 6 0 10 Feb 2022
A Safety Framework for Critical Systems Utilising Deep Neural Networks Xingyu Zhao Alec Banks James Sharp Valentin Robu David Flynn Michael Fisher Xiaowei Huang AAML 50 47 0 07 Mar 2020