TY - EJOUR AU - Klinkenberg, Lutz AU - Blumenthal, Christian AU - Chen, Mingshuai AU - Haase, Darion AU - Katoen, Joost-Pieter TI - Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions M1 - RWTH-2024-03173 SP - 54 Seiten PY - 2023 N1 - Submitted on 14 Jul 2023 (v1), last revised 5 Mar 2024 (this version, v4) T2 - ACM Conference on Object Oriented Programming Systems Languages and Applications CY - 20 Oct 2024 - 25 Oct 2024, Pasadena (USA) Y2 - 20 Oct 2024 - 25 Oct 2024 M2 - Pasadena, USA LB - PUB:(DE-HGF)25 DO - DOI:10.48550/ARXIV.2307.07314 UR - https://publications.rwth-aachen.de/record/981709 ER -