Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains

Linus Heck, Tim Quatmann, Jip Spel +2

Parametric Markov chains (pMCs) are Markov chains (MCs) with symbolic probabilities. A pMC encodes a family of MCs, where each member is obtained by replacing parameters with const…