Reasoning about Recursive Probabilistic Programs.

Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

Browse the full LICS paper archive.