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

Baier, Christel; Hensel, Hans Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim (Corresponding author)

Amsterdam : Elsevier (2019, 2020)
Contribution to a book, Journal Article

In: Information and computation
Volume: 272
Page(s)/Article-Nr.: 104504