Generating Functions for Probabilistic Programs.

Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler

Browse the full LOPSTR paper archive.