Publikationen

In: 17th International Conference on FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS). International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS-2019) August 27-29 Amsterdam Netherlands 2019.

Zur Publikation

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