@misc{indiciae0d0ba5870d37,
  title = {SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks},
  author = {Fabian Bauer-Marquart and David Boetius and Stefan Leue and Christian Schilling},
  year = {2022},
  doi = {10.1007/978-3-031-15077-7\_5},
  url = {https://arxiv.org/abs/2106.01917},
  note = {Source identifier: 2106.01917}
}