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,…