Publications
https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band_44_Heft_2/Denert2023_8_Mues.pdf Ernst_dennert_preis_mues.pdf Preprint HERO: A Cross-Domain Human-Enhanced Robot Orchestration [...] proceedings in theoretical computer science , vol. 232, pp. 79–90, 2016, doi: 10.4204/eptcs.232.10 . [8] S. Cassel, F. Howar, B. Jonsson, and B. Steffen, “Active learning for extended finite state machines [...] for mastering change , Kerkira, 2014, vol. 8802, pp. 481–498, doi: 10.1007/978-3-662-45234-9_33 . [8] F. Aarts, F. Howar, H. Kuppens, and F. Vaandrager, “Algorithms for inferring register automata,” in …