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 Verlag
2016
|