Distinguishing tests for nondeterministic and probabilistic machines

Rajeev Alur, Costas Courcoubetis, Mihalis Yannakakis. Distinguishing tests for nondeterministic and probabilistic machines. In Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 29 May-1 June 1995, Las Vegas, Nevada, USA. pages 363-372, ACM, 1995. [doi]

Authors

Rajeev Alur

This author has not been identified. It may be one of the following persons: Look up 'Rajeev Alur' in Google

Costas Courcoubetis

This author has not been identified. Look up 'Costas Courcoubetis' in Google

Mihalis Yannakakis

This author has not been identified. Look up 'Mihalis Yannakakis' in Google