Behavioral analysis of a digital twin using logging and model learning.
J. Object Technol., 2025
Small Test Suites for Active Automata Learning.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
State Matching and Multiple References in Adaptive Active Automata Learning.
Proceedings of the Formal Methods - 26th International Symposium, 2024
Lower Bounds for Active Automata Learning.
Proceedings of the International Conference on Grammatical Inference, 2023