Publications
ic anguages Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria In: Computing and Software Science DOI: https://doi.org/10.1007/978-3-319-91908-9_17 RERS 2019: combining synthesis with [...] Aniculaesei, Daniel Arnsberger, Falk Howar, Andreas Rausch In: Electronic proceedings in theoretical computer science DOI: https://doi.org/10.4204/eptcs.232.10 Active learning for extended finite state machines [...] 2025.10962523 Preprint LearnLib: 10 years later Markus Frohme, Falk Howar, Bernhard Steffen In: Computer Aided Verification (CAV 2025) DOI: https://doi.org/10.1007/978-3-031-98685-7_7 Preprint 2024 Tree-Based …