SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
From MaRDI portal
Publication:6487301
DOI10.1007/978-3-031-15077-7_5zbMath1514.68119MaRDI QIDQ6487301
Christian Schilling, Stefan Leue, Unnamed Author, Fabian Bauer-Marquart
Publication date: 7 December 2022
Artificial neural networks and deep learning (68T07) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
