cfaed Publications
Markov Chains and Unambiguous B$\backslash$" uchi Automata
Reference
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell, "Markov Chains and Unambiguous B$\backslash$" uchi Automata", In arXiv preprint arXiv:1605.00950, 2016.
Bibtex
@article{baier2016markov,
title={Markov Chains and Unambiguous B$\backslash$" uchi Automata},
author={Baier, Christel and Kiefer, Stefan and Klein, Joachim and Kl{\"u}ppelholz, Sascha and M{\"u}ller, David and Worrell, James},
journal={arXiv preprint arXiv:1605.00950},
year={2016}
}
title={Markov Chains and Unambiguous B$\backslash$" uchi Automata},
author={Baier, Christel and Kiefer, Stefan and Klein, Joachim and Kl{\"u}ppelholz, Sascha and M{\"u}ller, David and Worrell, James},
journal={arXiv preprint arXiv:1605.00950},
year={2016}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path, other
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1345