Exact Bayesian Inference for Loopy Probabilistic Programs. - Lutz Klinkenberg; Christian Blumenthal; Mingshuai Chen; Joost-Pieter Katoen (CoRR, 2023)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions. - Lutz Klinkenberg; Christian Blumenthal; Mingshuai Chen; Darion Haase; Joost-Pieter Katoen (Proc. ACM Program. Lang., 2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact. - Lutz Klinkenberg; Christian Blumenthal; Mingshuai Chen; Darion Haase; Joost-Pieter Katoen (Zenodo, 2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact. - Lutz Klinkenberg; Christian Blumenthal; Mingshuai Chen; Darion Haase; Joost-Pieter Katoen (Zenodo, 2024)