Follow
Lutz Klinkenberg
Lutz Klinkenberg
PhD Student RWTH Aachen University
No verified email
Title
Cited by
Cited by
Year
Does a program yield the right distribution? Verifying probabilistic programs via generating functions
M Chen, JP Katoen, L Klinkenberg, T Winkler
International Conference on Computer Aided Verification, 79-101, 2022
102022
Generating functions for probabilistic programs
L Klinkenberg, K Batz, BL Kaminski, JP Katoen, J Moerman, T Winkler
International Symposium on Logic-Based Program Synthesis and Transformation …, 2020
42020
Exact Bayesian Inference for Loopy Probabilistic Programs
L Klinkenberg, C Blumenthal, M Chen, JP Katoen
arXiv preprint arXiv:2307.07314, 2023
22023
Exact Probabilistic Inference Using Generating Functions
L Klinkenberg, T Winkler, M Chen, JP Katoen
arXiv preprint arXiv:2302.00513, 2023
22023
Image Fusion
L Klinkenberg
The system can't perform the operation now. Try again later.
Articles 1–5