Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling: SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. SPIN 2022: 79-96