Update of Probabilistic Beliefs: Implementation and Parametric Verification

Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski. Update of Probabilistic Beliefs: Implementation and Parametric Verification. Fundamenta Informaticae, 102(1):35-48, 2010. [doi]

Abstract

Abstract is missing.