%0 Electronic Article %A Klinkenberg, Lutz %A Blumenthal, Christian %A Chen, Mingshuai %A Haase, Darion %A Katoen, Joost-Pieter %T Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions %M RWTH-2024-03173 %P 54 Seiten %D 2023 %Z Submitted on 14 Jul 2023 (v1), last revised 5 Mar 2024 (this version, v4) %B ACM Conference on Object Oriented Programming Systems Languages and Applications %C 20 Oct 2024 - 25 Oct 2024, Pasadena (USA) Y2 20 Oct 2024 - 25 Oct 2024 M2 Pasadena, USA %F PUB:(DE-HGF)25 %9 Preprint %R 10.48550/ARXIV.2307.07314 %U https://publications.rwth-aachen.de/record/981709