Probabilistic Automata (1963)

by M Rabin
Venue:in Information and Control, Vol.6