Folgen
Lutz Klinkenberg
Lutz Klinkenberg
PhD Student RWTH Aachen University
Keine bestätigte E-Mail-Adresse
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5