Rüdiger Ehlers, Jörg Grieser, Christoph Knieke, Andreas Rausch, Mirco Schindler. Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification. In Steffen Becker 0001, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner 0001, editors, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Volume P-292 of LNI, pages 159-160, GI, 2019. [doi]
Abstract is missing.