Logo des Repositoriums
 

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

dc.contributor.authorEhlers, Rüdiger
dc.contributor.authorGrieser, Jörg
dc.contributor.authorKnieke, Christoph
dc.contributor.authorRausch, Andreas
dc.contributor.authorSchindler, Mirco
dc.contributor.editorBecker, Steffen
dc.contributor.editorBogicevic, Ivan
dc.contributor.editorHerzwurm, Georg
dc.contributor.editorWagner, Stefan
dc.date.accessioned2019-03-14T11:49:21Z
dc.date.available2019-03-14T11:49:21Z
dc.date.issued2019
dc.identifier.doi10.18420/se2019-49
dc.identifier.isbn978-3-88579-686-2
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/20910
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware Engineering and Software Management 2019
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-292
dc.titleQuality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verificationen
dc.typeText/Conference Paper
gi.citation.endPage160
gi.citation.publisherPlaceBonn
gi.citation.startPage159
gi.conference.date18.-22. Februar 2019
gi.conference.locationStuttgart, Germany
gi.conference.sessiontitleSession 15: Erklärbare Software

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
49.pdf
Größe:
469.66 KB
Format:
Adobe Portable Document Format