Data-efficient safe policy improvement using parametric structure
Source
ECAI 2025 : 28th European Conference on Artificial Intelligence, October 25-30, 2025, Bologna, Italy-413 (2025) p. 4832-4839
Data structures for finite downsets of natural vectors : theory and practice
Source
Lecture notes in computer science-16145 () p. 425-446
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.
Algorithms for Markov binomial chains
Source
Logical Methods in Computer Science (LMCS) - ISSN 1860-5974-21:2 (2025) p. 1-32