4 papers
Reasoning with Probabilities: Relating Weighted Model Counting and Probabilistic Model Checking
Bahare Salmani, Vincent Derkinderen
Weighted model counting (WMC) and probabilistic model checking (PMC) are two well- established frameworks that are independently developed, the former for probabilistic inference,…
Finding an -close Variation of Parameters in Bayesian Networks
Bahare Salmani, Joost-Pieter Katoen
This paper addresses the -close parameter tuning problem for Bayesian Networks (BNs): find a minimal -close amendment of probability entries in a given set of (rows in) condi…
Fine-Tuning the Odds in Bayesian Networks
Bahare Salmani, Joost-Pieter Katoen
This paper proposes various new analysis techniques for Bayes networks in which conditional probability tables (CPTs) may contain symbolic variables. The key idea is to exploit sca…
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…