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