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},
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=1548


Go back to publications list