Vincent Derkinderen

Reasoning with Probabilities: Relating Weighted Model Counting and Probabilistic Model Checking

Weighted model counting (WMC) and probabilistic model checking (PMC) are two well- established frameworks that are independently developed, the former for probabilistic inference, the latter traditionally for probabilistic verification, though recently also applied to inference. The formal relationship between the two...