TY  - RPRT
TI  - SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
AU  - Fabian Bauer-Marquart
AU  - David Boetius
AU  - Stefan Leue
AU  - Christian Schilling
PY  - 2022
DO  - 10.1007/978-3-031-15077-7_5
UR  - https://arxiv.org/abs/2106.01917
ID  - 2106.01917
ER  -