Probabilistic automata
Redirect to:
Probabilistic automaton