SLWM : a library for implementing complex training workflows for surrogates of MPC’s
Source
2024 IEEE International Conference on Big Data (BigData), 15-18 December, 2024, Washington, DC, USA- () p. 4139-4144
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.