Auflistung nach Autor "Knieke, Christoph"
Anzeige der Dokumente 1-1 von 1
-
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
159-160