> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: SpecRepair : Counter-Example Guided Safety Repair of Deep Neural Networks Beteiligte: Bauer-Marquart, Fabian [Verfasser:in]; Boetius, David [Verfasser:in]; Leue, Stefan [Verfasser:in]; Schilling, Christian [Verfasser:in] Erschienen: Konstanz: KOPS Universität Konstanz, 2022 Umfang: 1 Online-Ressource Sprache: Englisch Identifikator: Entstehung: Anmerkungen: In: Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022 : Proceedings / Legunsen, Owolabi; Rosu, Grigore (Hrsg.). - Cham : Springer, 2022. - (Lecture Notes in Computer Science ; 13255). - S. 79-96. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-031-15076-0 Zugangsstatus: Freier Zugang