Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle Conditioning in probabilistic programming. (English) Zbl 1351.68066 Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 199-216, electronic only (2015). MSC: 68N19 68Q55 68Q87 PDFBibTeX XMLCite \textit{N. Jansen} et al., Electron. Notes Theor. Comput. Sci. 319, 199--216 (2015; Zbl 1351.68066) Full Text: DOI arXiv
Katoen, Joost-Pieter; Gretz, Friedrich; Jansen, Nils; Kaminski, Benjamin Lucien; Olmedo, Federico Understanding probabilistic programs. (English) Zbl 1444.68045 Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 15-32 (2015). MSC: 68N19 68Q55 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., Lect. Notes Comput. Sci. 9360, 15--32 (2015; Zbl 1444.68045) Full Text: DOI Link