News

Christian Imenkamp and Agnes Koschmider visited the Free University of Bolzano for a research exchange. A paper on "Discovering Data Petri Nets Through Automata Learning and SyGuS" has already been written as a result of this research visit.