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