News

Christian Imenkamp und Agnes Koschmider haben die Freie Universität Bozen für einen Forschungsaustausch besucht. Aus dem Forschungsbesuch ist bereits ein Paper zum Thema "Discovering Data Petri Nets Through Automata Learning and SyGuS" verfasst worden.