Data-efficient safe policy improvement using parametric structure
Bron
ECAI 2025 : 28th European Conference on Artificial Intelligence, October 25-30, 2025, Bologna, Italy-413 (2025) p. 4832-4839
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
Graph-based reductions for parametric and weighted MDPs
Bron
Lecture notes in computer science- () p. 137-157