A Logic to Reason about Likelihood

Joseph Y. Halpern, Michael O. Rabin

Browse the full STOC paper archive.