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.
Parikh one-counter automata
Bron
Information and computation - ISSN 0890-5401-306 (2025) p. 1-22
Algorithms for Markov binomial chains
Bron
Logical Methods in Computer Science (LMCS) - ISSN 1860-5974-21:2 (2025) p. 1-32
Composing reinforcement learning policies, with formal guarantees
Bron
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), May 19-23, 2025, Detroit, MI, USA- () p. 574-583