Bayesian Inference by Symbolic Model Checking

Bahare Salmani, Joost-Pieter Katoen

This paper applies probabilistic model checking techniques for discrete Markov chains to inference in Bayesian networks. We present a simple translation from Bayesian networks into…