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)
Available online 16 december 2019