cfaed Publications

Are Good-for-Games Automata Good for Probabilistic Model Checking?

Reference

Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz, "Are Good-for-Games Automata Good for Probabilistic Model Checking?" , Chapter in Language and Automata Theory and Applications, Springer, pp. 453–465, 2014. [doi]

Bibtex

@incollection{klein2014good,
title={Are Good-for-Games Automata Good for Probabilistic Model Checking?},
author={Klein, Joachim and M{\"u}ller, David and Baier, Christel and Kl{\"u}ppelholz, Sascha},
booktitle={Language and Automata Theory and Applications},
pages={453--465},
year={2014},
publisher={Springer},
doi={10.1007/978-3-319-04921-2_37}
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

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


Go back to publications list