A Logic to Reason about Likelihood

Joseph Y. Halpern, Michael O. Rabin. A Logic to Reason about Likelihood. In Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, 25-27 April 1983, Boston, Massachusetts, USA. pages 310-319, ACM, 1983.

Authors

Joseph Y. Halpern

This author has not been identified. Look up 'Joseph Y. Halpern' in Google

Michael O. Rabin

This author has not been identified. Look up 'Michael O. Rabin' in Google