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

Amsterdam / Elsevier (2019, 2020) [Contribution to a book, Journal Article]

Information and computation
Volume: 272
Page(s): 104504

Authors

Selected Authors

Baier, Christel
Hensel, Christian
Hutschenreiter, Lisa
Junges, Sebastian
Katoen, Joost-Pieter

Other Authors

Klein, Joachim

Identifier