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

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path, other

Permalink

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


Go back to publications list