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

Ehlers, Rüdiger; Grieser, Jörg; Knieke, Christoph; Rausch, Andreas; Schindler, Mirco

Autor(en):

Ehlers, Rüdiger [DBLP] ;

Grieser, Jörg [DBLP] ;

Knieke, Christoph [DBLP] ;

Rausch, Andreas [DBLP] ;

Schindler, Mirco [DBLP]

Vollständige Referenz
BibTeX

Ehlers, R., Grieser, J., Knieke, C., Rausch, A. & Schindler, M., (2019). Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification. In: Becker, S., Bogicevic, I., Herzwurm, G. & Wagner, S. (Hrsg.), Software Engineering and Software Management 2019. Bonn: Gesellschaft für Informatik e.V.. (S. 159-160). DOI: 10.18420/se2019-49

@inproceedings{mci/Ehlers2019,
author = {Ehlers, Rüdiger AND Grieser, Jörg AND Knieke, Christoph AND Rausch, Andreas AND Schindler, Mirco},
title = {Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification},
booktitle = {Software Engineering and Software Management 2019},
year = {2019},
editor = {Becker, Steffen AND Bogicevic, Ivan AND Herzwurm, Georg AND Wagner, Stefan} ,
pages = { 159-160 } ,
doi = { 10.18420/se2019-49 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}

	Dateien	Groesse	Format	Anzeige
	49.pdf	469.6Kb	PDF	Öffnen

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.18420/se2019-49

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken