Distinguishing tests for nondeterministic and probabilistic machines.

Rajeev Alur, Costas Courcoubetis, Mihalis Yannakakis

Browse the full STOC paper archive.