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{Batz:979194,
      author       = {Batz, Kevin and Biskup, Tom Jannik and Katoen, Joost-Pieter
                      and Winkler, Tobias},
      title        = {{P}rogrammatic {S}trategy {S}ynthesis: {R}esolving
                      {N}ondeterminism in {P}robabilistic {P}rograms},
      journal      = {Proceedings of the ACM on programming languages : (PACMPL)},
      volume       = {8},
      issn         = {2475-1421},
      address      = {New York, NY, USA},
      publisher    = {ACM},
      reportid     = {RWTH-2024-01610},
      pages        = {93},
      year         = {2024},
      month         = {Jan},
      date          = {2024-01-17},
      organization  = {Symposium on Principles of Programming
                       Languages, London (UK), 17 Jan 2024 -
                       19 Jan 2024},
      cin          = {121310 / 080060 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)080060_20170720$ /
                      $I:(DE-82)120000_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)16 / PUB:(DE-HGF)8},
      UT           = {WOS:001170729400094},
      doi          = {10.1145/3632935},
      url          = {https://publications.rwth-aachen.de/record/979194},
}