Lutz Klinkenberg

According to our database, Lutz Klinkenberg authored at least 12 papers between 2020 and 2026.

Collaborative distances:

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

2026

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version).

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

CoRR, January, 2026

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact.

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Dataset, January, 2026

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops.

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Proceedings of the Programming Languages and Systems, 2026

2025

Analysis of probabilistic programs using generating functions.

Lutz Klinkenberg

PhD thesis, 2025

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

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

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