Markov chains and unambiguous Büchi automata
Unambiguous automata, i.e., nondeterministic automata with the restriction of having at most one accepting run over a word, have the potential to be used instead of deterministic automata in settings where nondeterministic automata can not be applied in general. In this paper, we provide a polynomia...
Main Authors: | , , , , , |
---|---|
Format: | Conference item |
Published: |
Springer, Cham
2016
|