Probabilistic automata (1963)

by M O Rabin
Venue:Information and Control