Lutz Klinkenberg

According to our database, Lutz Klinkenberg authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact.

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

Dataset, March, 2024

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact.

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

Dataset, January, 2024

2023

Exact Bayesian Inference for Loopy Probabilistic Programs.

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Joost-Pieter Katoen

CoRR, 2023

Exact Probabilistic Inference Using Generating Functions.

Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen

CoRR, 2023

2022

Prodigy - Artifact Evaluation at CAV 2022.

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Dataset, May, 2022

Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions.

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2020

Generating Functions for Probabilistic Programs.

Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020