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