Chih-Hong Cheng, Tobias Schuster, Simon Burton. Logically Sound Arguments for the Effectiveness of ML Safety Measures. In Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2022, Proceedings. Volume 13415 of Lecture Notes in Computer Science, pages 343-350, Springer, 2022. [doi]
Abstract is missing.