A logic to reason about likelihood

Authors:
  • JHJoseph Y. Halpern
    Joseph Y. Halpern
  • MRMichael O. Rabin
    Michael O. Rabin

Abstract
No abstract available