@inproceedings{f870be8e665e4cef8b7b0dcac7b4bf1d,
title = "Transforming Probabilistic Programs for Model Checking",
author = "Ryan Bernstein and Matthijs V{\'a}k{\'a}r and Wing, \{Jeannette M.\}",
year = "2020",
doi = "10.1145/3412815.3416896",
language = "Undefined/Unknown",
pages = "149--159",
editor = "Wing, \{Jeannette M.\} and David Madigan",
booktitle = "FODS '20: ACM-IMS Foundations of Data Science Conference, Virtual Event, USA, October 19-20, 2020",
publisher = "Association for Computing Machinery",
}