Generating Functions for Probabilistic Programs. - Lutz Klinkenberg; Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Joshua Moerman; Tobias Winkler 001 (LOPSTR, 2020)

Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions. - Mingshuai Chen; Joost-Pieter Katoen; Lutz Klinkenberg; Tobias Winkler 001 (CAV (1), 2022)

Prodigy - Artifact Evaluation at CAV 2022. - Mingshuai Chen; Joost-Pieter Katoen; Lutz Klinkenberg; Tobias Winkler 001 (Zenodo, 2022)

Exact Probabilistic Inference Using Generating Functions. - Lutz Klinkenberg; Tobias Winkler 001; Mingshuai Chen; Joost-Pieter Katoen (CoRR, 2023)

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)