cfaed Publications

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination

Reference

Lisa Hutschenreiter and, "Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination" (to appear), 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=1547


Go back to publications list