Data structures for finite downsets of natural vectors : theory and practice
Bron
Lecture notes in computer science-16145 () p. 425-446
Active learning of Mealy machines with timers
Bron
Lecture notes in computer science-16143 () p. 42-61
Formal analysis tools for nonlinear model-predictive control : formal verification techniques for real-world MPC
Bron
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
Bron
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2025,128 p.
Algorithms for Markov binomial chains
Bron
Logical Methods in Computer Science (LMCS) - ISSN 1860-5974-21:2 (2025) p. 1-32