Lutz Klinkenberg

Publications with FICTION

Conference Papers

1. Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen (2023). Exact Probabilistic Inference Using Generating Functions. In LAFI 2023. PDF Cite Code
2. Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler (2022). Does a Program Yield the Right Distribution?. In CAV 2022. PDF Cite DOI Artifact Evaluated

Preprints

1. Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Joost-Pieter Katoen (2023). Exact Bayesian Inference for Loopy Probabilistic Programs. arXiv. Preprint. PDF Cite Code DOI