Publications
IWCT 2025 DOI: https://doi.org/10.1109/ICSTW64639.2025.10962523 Preprint LearnLib: 10 years later Markus Frohme, Falk Howar, Bernhard Steffen In: Computer Aided Verification (CAV 2025) DOI: https://doi [...] Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait [...] org/10.1109/IRC59093.2023.00058 Model-based quality assurance of instrumented context-free systems Markus Frohme DOI: https://doi.org/10.17877/de290r-24032 2022 Neural network verification with DSE Benedikt …