Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher 0001, Xiaowei Huang 0001. A Safety Framework for Critical Systems Utilising Deep Neural Networks. In António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira 0005, editors, Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings. Volume 12234 of Lecture Notes in Computer Science, pages 244-259, Springer, 2020. [doi]