Revelations : a decidable class of POMDPs with omega-regular objectives
Source
AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA-39:25 (2025) p. 26454-26462
The geometry of reachability in continuous vector addition systems with states
Source
Information and computation - ISSN 0890-5401-304 (2025) p. 1-17
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
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
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