> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Model Checking Software: SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks Beteiligte: Bauer-Marquart, Fabian; Boetius, David; Leue, Stefan; Schilling, Christian Erschienen: Springer International Publishing, 2022 Erschienen in: Model Checking Software (2022), Seite 79-96 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-031-15077-7_5 ISBN: 9783031150760; 9783031150777 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: