Analysis of and approximation algorithms for probabilistic and counter systems
Source
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2025,128 p.
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
Graph-based reductions for parametric and weighted MDPs
Source
Lecture notes in computer science- () p. 137-157