TY  - RPRT
TI  - Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
AU  - Mingshuai Chen
AU  - Joost-Pieter Katoen
AU  - Lutz Klinkenberg
AU  - Tobias Winkler
PY  - 2022
UR  - https://arxiv.org/abs/2205.01449
ID  - 2205.01449
ER  -