Self-correcting Neural Networks for Safe Classification

von Leino, Klas
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)