Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination

• Published in: Information and computation Vol. 272; p. 104504
• Main Authors: Baier, Christel, Hensel, Christian, Hutschenreiter, Lisa, Junges, Sebastian, Katoen, Joost-Pieter, Klein, Joachim
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.06.2020
• Subjects: Complexity; Gaussian elimination; Parametric Markov chain; Parametric model checking; PCTL; Parametric Markov chain; Parametric model checking; Gaussian elimination; PCTL; Complexity

Parametric Markov chains have been introduced as a model for families of stochastic systems that rely on the same graph structure, but differ in the concrete transition probabilities. The latter are specified by polynomial constraints over a finite set of parameters. Important tasks in the analysis...