Alert button

A Model Counter's Guide to Probabilistic Systems

Mar 22, 2019
Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia

Figure 1 for A Model Counter's Guide to Probabilistic Systems
Figure 2 for A Model Counter's Guide to Probabilistic Systems
Figure 3 for A Model Counter's Guide to Probabilistic Systems
Figure 4 for A Model Counter's Guide to Probabilistic Systems

Share this with someone who'll enjoy it:

In this paper, we systematize the modeling of probabilistic systems for the purpose of analyzing them with model counting techniques. Starting from unbiased coin flips, we show how to model biased coins, correlated coins, and distributions over finite sets. From there, we continue with modeling sequential systems, such as Markov chains, and revisit the relationship between weighted and unweighted model counting. Thereby, this work provides a conceptual framework for deriving #SAT encodings for probabilistic inference.

View paper onarxiv icon

Share this with someone who'll enjoy it: