cfaed Publications
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination
Reference
Lisa Hutschenreiter, Christel Baier, Joachim Klein, "Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination", In Proceeding: Proc. of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), 2017.
Bibtex
@inproceedings{HBK17,
author = {Lisa Hutschenreiter and Christel Baier and Joachim Klein},
title = {Parametric Markov Chains: {PCTL} Complexity and Fraction-free {Gaussian} Elimination},
booktitle = {Proc. of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF)},
year = {2017},
note = {Accepted for publication},
}
author = {Lisa Hutschenreiter and Christel Baier and Joachim Klein},
title = {Parametric Markov Chains: {PCTL} Complexity and Fraction-free {Gaussian} Elimination},
booktitle = {Proc. of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF)},
year = {2017},
note = {Accepted for publication},
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1548