Parameter Synthesis for Markov Models: Faster Than Ever

Tim Quatmann, Christian Dehnert, Nils Jansen +2

We propose a simple technique for verifying probabilistic models whose transition probabilities are parametric. The key is to replace parametric transitions by nondeterministic cho…