Power of Randomization in Automata on Infinite Strings.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Browse the full CONCUR paper archive.