Controller synthesis from deep reinforcement learning policies
Source
17th European Workshop on Reinforcement Learning (EWRL 2024), 28 October 2024, Toulouse, France- (2024) p. 1-34
Work-in-progress : worst-case execution-time measurement techniques for nonlinear model predictive controllers
Source
2024 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 29 September 2024 - 04 October 2024, Raleigh, NC, USA- () p. 5-5
Analyzing value functions of states in parametric Markov chains
Source
Principles of verification: cycling the probabilistic landscape / Jansen, N. [edit.]; et al. [edit.]-p. 145-165
On continuous pushdown VASS in one dimension
Source
LIPIcs : Leibniz International Proceedings in Informatics-311 (2024) p. 1-34
Active Learning of Automata with Resources
Source
Mons, Université de Mons & Universiteit Antwerpen, 2024,xix, 377