Parameter Synthesis for Markov Models: Covering the Parameter Space

Sebastian Junges, Erika Ábrahám, Christian Hensel +4

Markov chain analysis is a key technique in formal verification. A practical obstacle is that all probabilities in Markov models need to be known. However, system quantities such a…