Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions.

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Browse the full CAV paper archive.