Active learning of Mealy machines with timers
Source
Lecture notes in computer science-16143 () p. 42-61
Formal analysis tools for nonlinear model-predictive control : formal verification techniques for real-world MPC
Source
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2025,xviii, 106 p.
Analysis of and approximation algorithms for probabilistic and counter systems
Source
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2025,128 p.
Parikh one-counter automata
Source
Information and computation - ISSN 0890-5401-306 (2025) p. 1-22
Algorithms for Markov binomial chains
Source
Logical Methods in Computer Science (LMCS) - ISSN 1860-5974-21:2 (2025) p. 1-32