2 papers
cs.LO2026
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,…
cs.AI2020
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…