Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lutz Klinkenberg
conf.researchr.org general profile
POPL 2023 profile
POPL 2026 profile
SPLASH 2024 profile
Not registered as user
Name:
Lutz Klinkenberg
Affiliation:
RWTH Aachen University
Contributions
2026
LAFI
Author of Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops within the LAFI 2026-track
2024
SPLASH
Author of Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions within the OOPSLA 2024-track
2023
LAFI
Author of Exact Probabilistic Inference Using Generating Functions within the LAFI 2023-track
Share
x
Sun 14 Dec 02:18