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
Activating formal verification of deep reinforcement learning policies by model checking bisimilar latent space models
Source
Brussels, Vrije Universiteit Brussel & Universiteit Antwerpen, 2024,346 p.
The Wasserstein Believer : learning belief updates for partially observable environments through reliable latent space models
Source
The Twelfth International Conference on Learning Representations (ICLR 2024), May 7th, 2024 to May 11th, 2024, Vienna Austria- (2024) p. 1-40