by Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo
Reference:
Conditioning in Probabilistic Programming (Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo), In CoRR, volume abs/1504.00198, 2015.
Bibtex Entry:
@article{DBLP:journals/corr/GretzJKKMO15, author = {Friedrich Gretz and Nils Jansen and Benjamin Lucien Kaminski and Joost{-}Pieter Katoen and Annabelle McIver and Federico Olmedo}, title = {Conditioning in Probabilistic Programming}, journal = {CoRR}, volume = {abs/1504.00198}, year = {2015}, url = {http://arxiv.org/abs/1504.00198}, timestamp = {Sat, 02 May 2015 17:50:32 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/GretzJKKMO15}, bibsource = {dblp computer science bibliography, http://dblp.org} }