Auflistung nach Autor "Ehlers, Rüdiger"
Anzeige der Dokumente 1-2 von 2
-
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 -
Symmetrische und effiziente Synthese
Ehlers, Rüdiger
11-20