Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling 0001. SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. In Owolabi Legunsen, Grigore Rosu, editors, Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Volume 13255 of Lecture Notes in Computer Science, pages 79-96, Springer, 2022. [doi]
Abstract is missing.