cfaed Publications

Markov Chains and Unambiguous Büchi Automata

Reference

Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell, "Markov Chains and Unambiguous Büchi Automata" , In Proceeding: Proc. of the 28th International Conference on Computer Aided Verification (CAV) - Part I, Springer, vol. 9779, pp. 23–42, 2016.

Bibtex

@inproceedings{BKKKMW16,
author = {Christel Baier and Stefan Kiefer and Joachim Klein and Sascha Kl{\"u}ppelholz and David M{\"u}ller and James Worrell},
title = {Markov Chains and Unambiguous {B{\"u}chi} Automata},
booktitle = {Proc. of the 28th International Conference on Computer Aided Verification (CAV) - Part {I}},
year = {2016},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
volume = {9779},
pages = {23--42},
ee = {http://dx.doi.org/10.1007/978-3-319-41528-4_2},
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

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


Go back to publications list