Logically Sound Arguments for the Effectiveness of ML Safety Measures.

Chih-Hong Cheng, Tobias Schuster, Simon Burton

Browse the full SAFECOMP paper archive.