Are Parametric Markov Chains Monotonic?

Jip Spel, Sebastian Junges, Joost-Pieter Katoen

This paper presents a simple algorithm to check whether reachability probabilities in parametric Markov chains are monotonic in (some of) the parameters. The idea is to construct -…