What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems

20 July 2023

Papers citing "What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems"

7 / 7 papers shown

Title
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation Xiaowei Huang Wenjie Ruan Wei Huang Gao Jin Yizhen Dong ... Sihao Wu Peipei Xu Dengyu Wu André Freitas Mustafa A. Mustafa ALM 27 81 0 19 May 2023
Hierarchical Distribution-Aware Testing of Deep Learning Wei Huang Xingyu Zhao Alec Banks V. Cox Xiaowei Huang OOD AAML 16 7 0 17 May 2022
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation Chih-Hong Cheng Changshun Wu Emmanouil Seferis Saddek Bensalem 18 3 0 16 May 2022
Distribution-Aware Testing of Neural Networks Using Generative Models Swaroopa Dola Matthew B. Dwyer M. Soffa 27 46 0 26 Feb 2021
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 47 45 0 07 Mar 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 883 0 21 Oct 2016