Seguir
Lutz Klinkenberg
Lutz Klinkenberg
PhD Student RWTH Aachen University
Nenhum email confirmado
Título
Citado por
Citado por
Ano
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–5