Analyzing value functions of states in parametric Markov chains
Bron
Principles of verification: cycling the probabilistic landscape / Jansen, N. [edit.]; et al. [edit.]-p. 145-165
On continuous pushdown VASS in one dimension
Bron
LIPIcs : Leibniz International Proceedings in Informatics-311 (2024) p. 1-34
Active Learning of Automata with Resources
Bron
Mons, Université de Mons & Universiteit Antwerpen, 2024,xix, 377
Activating formal verification of deep reinforcement learning policies by model checking bisimilar latent space models
Bron
Brussels, Vrije Universiteit Brussel & Universiteit Antwerpen, 2024,346 p.
The Wasserstein Believer : learning belief updates for partially observable environments through reliable latent space models
Bron
The Twelfth International Conference on Learning Representations (ICLR 2024), May 7th, 2024 to May 11th, 2024, Vienna Austria- (2024) p. 1-40