Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination - Baier, Christel; Hensel, Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim (Information and computation, 2020)
Keywords: Complexity; Gaussian elimination; Parametric Markov chain; Parametric model checking; PCTL; Parametric Markov chain; Parametric model checking; Gaussian elimination; PCTL; Complexity