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

Ehlers, RüdigerGrieser, JörgKnieke, ChristophRausch, AndreasSchindler, MircoBecker, SteffenBogicevic, IvanHerzwurm, GeorgWagner, Stefan2019-03-142019-03-142019978-3-88579-686-2https://dl.gi.de/handle/20.500.12116/20910enQuality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal VerificationText/Conference Paper10.18420/se2019-491617-5468