A Safety Framework for Critical Systems Utilising Deep Neural Networks

7 March 2020

Papers citing "A Safety Framework for Critical Systems Utilising Deep Neural Networks"

6 / 6 papers shown

Title
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey M. Askarpour Alan Wassyng M. Lawford R. Paige Z. Diskin 12 0 0 29 Nov 2021
Statistical Perspectives on Reliability of Artificial Intelligence Systems Yili Hong J. Lian Li Xu Jie Min Yueyao Wang Laura J. Freeman Xinwei Deng 14 30 0 09 Nov 2021
Logically Sound Arguments for the Effectiveness of ML Safety Measures Chih-Hong Cheng Tobias Schuster Simon Burton AAML 8 6 0 04 Nov 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 66 289 0 09 Aug 2017
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