by Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo
Reference:
Understanding Probabilistic Programs (Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo), Chapter in Correct System Design, Springer International Publishing, 2015.
Bibtex Entry:
@incollection{katoen2015understanding,
title={Understanding Probabilistic Programs},
author={Katoen, Joost-Pieter and Gretz, Friedrich and Jansen, Nils and Kaminski, Benjamin Lucien and Olmedo, Federico},
booktitle={Correct System Design},
pages={15--32},
year={2015},
publisher={Springer International Publishing}
}