Probabilistic Program Abstractions (bibtex)

@inproceedings{HoltzenUAI17,
  author    = {Holtzen, Steven and Millstein, Todd and Van den Broeck, Guy},
  title     = {Probabilistic Program Abstractions},
  booktitle = {Proceedings of the 33rd Conference on Uncertainty in Artificial Intelligence (UAI)},
  url = "http://starai.cs.ucla.edu/papers/HoltzenUAI17.pdf",
  month = Aug,
  year={2017},
  keywords={conference,selective}
}