Publications
construction and analysis of systems , Prague, 2019, vol. 11429, pp. 101–115, doi: 10.1007/978-3-030-17502-3_7 . [3] P. Zweihoff, S. Naujokat, and B. Steffen, “Pyro: generating domain-specific collaborative [...] 1007/978-3-030-85672-4_21 Preprint A Taxonomy and Reductions for Common Register Automata Formalisms Simon Dierl, Falk Howar In: Model Checking, Synthesis, and Learning DOI: https://doi.org/10.1007/978-3-03 [...] technologies and applications , Virtual Event, Jul. 2021, vol. 1446, pp. 172–194, doi: 10.1007/978-3-030-83014-4_9 . [3] F. Howar, M. Mues, and M. Mues, “Can We Trust Theorem Provers for Industrial AI?,” IEEE Software …