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
Composing reinforcement learning policies, with formal guarantees
Source
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), May 19-23, 2025, Detroit, MI, USA- () p. 574-583