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.

Abstract

Abstract is missing.