Steven Holtzen, Todd Millstein and Guy Van den Broeck. Probabilistic Program Abstractions, In Seventh International Workshop on Statistical Relational AI (StarAI), 2017.
Bibtex Entry:
@inproceedings{HoltzenStarAI17,
author = {Holtzen, Steven and Millstein, Todd and Van den Broeck, Guy},
title = {Probabilistic Program Abstractions},
booktitle = {Seventh International Workshop on Statistical Relational AI (StarAI)},
url = "http://web.cs.ucla.edu/~guyvdb/papers/HoltzenUAI17.pdf",
month = Aug,
year={2017},
keywords={workshop}
}