Konferenzbeitrag

Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification

Vorschaubild
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
49.pdf (469.66 KB)
Datum
2019
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Software Engineering and Software Management 2019
Session 15: Erklärbare Software
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Beschreibung
Ehlers, Rüdiger; Grieser, Jörg; Knieke, Christoph; Rausch, Andreas; Schindler, Mirco (2019): Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification. Software Engineering and Software Management 2019. DOI: 10.18420/se2019-49. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-686-2. pp. 159-160. Session 15: Erklärbare Software. Stuttgart, Germany. 18.-22. Februar 2019
Schlagwörter
Zitierform
DOI
10.18420/se2019-49
Tags
Sammlungen
P292 - Software Engineering and Software Management 2019