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

From MaRDI portal
Publication:2182734

DOI10.1016/j.ic.2019.104504zbMath1443.68101arXiv1709.02093OpenAlexW2995644129MaRDI QIDQ2182734

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

Publication date: 26 May 2020

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1709.02093



Related Items


Uses Software


Cites Work