Distinguishing tests for nondeterministic and probabilistic (1995)

by R Alur, C Courcoubetis, M Yannakakis
Venue:machines, Symposium on Theory of Computer Science