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.
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
Graph-based reductions for parametric and weighted MDPs
Bron
Lecture notes in computer science- () p. 137-157