h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Klinkenberg:981709,
      author       = {Klinkenberg, Lutz and Blumenthal, Christian and Chen,
                      Mingshuai and Haase, Darion and Katoen, Joost-Pieter},
      title        = {{E}xact {B}ayesian {I}nference for {L}oopy {P}robabilistic
                      {P}rograms using {G}enerating {F}unctions},
      reportid     = {RWTH-2024-03173},
      pages        = {54 Seiten},
      year         = {2023},
      note         = {Submitted on 14 Jul 2023 (v1), last revised 5 Mar 2024
                      (this version, v4)},
      month         = {Oct},
      date          = {2024-10-20},
      organization  = {ACM Conference on Object Oriented
                       Programming Systems Languages and
                       Applications, Pasadena (USA), 20 Oct
                       2024 - 25 Oct 2024},
      cin          = {121310 / 120000 / 080017},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$ /
                      $I:(DE-82)080017_20140620$},
      pnm          = {FRAPPANT - Formal Reasoning About Probabilistic Programs:
                      Breaking New Ground for Automation (787914) / GRK 2236 - GRK
                      2236: Unsicherheit und Randomisierung in Algorithmen,
                      Verifikation und Logik. (282652900)},
      pid          = {G:(EU-Grant)787914 / G:(GEPRIS)282652900},
      typ          = {PUB:(DE-HGF)25},
      eprint       = {2307.07314},
      howpublished = {arXiv:2307.07314},
      archivePrefix = {arXiv},
      SLACcitation = {$\%\%CITATION$ = $arXiv:2307.07314;\%\%$},
      doi          = {10.48550/ARXIV.2307.07314},
      url          = {https://publications.rwth-aachen.de/record/981709},
}