Publications

In: Design and Verification Conference and Exhibition Europe (DVCon Europe). Design and Verification Conference Europe (DVCon Europe-2018) October 24-25 München Germany 2018.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz