SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

Fabian Bauer-Marquart, David Boetius, Stefan Leue +1

Deep neural networks (DNNs) are increasingly applied in safety-critical domains, such as self-driving cars, unmanned aircraft, and medical diagnosis. It is of fundamental importanc…