@article{amodelcountersguidetoprobabilistic,
  title = {A Model Counter's Guide to Probabilistic Systems},
  author = {Marcell Vazquez-Chanlatte and Markus N. Rabe and Sanjit A. Seshia},
  year = {2019},
  eprint = {1903.09354},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1903.09354v1},
}