Publications
Open-Source LearnLib: A Framework for Active Automata Learning Malte Isberner, Falk Howar & Bernhard Steffen In: Computer Aided Verification DOI: https://doi.org/10.1007/978-3-319-21690-4_32 LearnLib Tutorial: [...] Unsupervised Automata Learning via Discrete Optimization Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider In: Logics in Artificial Intelligence [...] on Project Management and Scheduling (PMS 2022) Preprint Aligning the Learning Experience in a Project-Based Course: Lessons Learned From the Redesign of a Programming Lab Malte Mauritz, Stefan Naujokat …