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


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]