Zur Kurzanzeige

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.isbn978-3-88579-686-2
dc.identifier.issn1617-5468
dc.identifier.urihttp://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
dc.pubPlaceBonn
mci.reference.pages159-160
mci.conference.sessiontitleSession 15: Erklärbare Software
mci.conference.locationStuttgart, Germany
mci.conference.date18.-22. Februar 2019
dc.identifier.doi10.18420/se2019-49


Dateien zu dieser Ressource

Thumbnail
Name:
49.pdf
Größe:
469.6Kb
Format:
PDF
Öffnen

Zur Kurzanzeige