TY  - RPRT
TI  - Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
AU  - Lutz Klinkenberg
AU  - Christian Blumenthal
AU  - Mingshuai Chen
AU  - Darion Haase
AU  - Joost-Pieter Katoen
PY  - 2024
UR  - https://arxiv.org/abs/2307.07314
ID  - 2307.07314
ER  -