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”.

@INBOOK{Batz:999819,
      author       = {Batz, Kevin and Kaminski, Benjamin Lucien and Matheja,
                      Christoph and Winkler, Tobias},
      title        = {{J}-{P}: {MDP}. {FP}. {PP}: {C}haracterizing {T}otal
                      {E}xpected {R}ewards in {M}arkov {D}ecision {P}rocesses as
                      {L}east {F}ixed {P}oints with an {A}pplication to
                      {O}perational {S}emantics of {P}robabilistic {P}rograms},
      volume       = {15260},
      address      = {Cham},
      publisher    = {Springer},
      reportid     = {RWTH-2024-12327},
      series       = {Lecture notes in computer science},
      pages        = {255-302},
      year         = {2025},
      note         = {First Online: 13 November 2024},
      comment      = {Principles of verification: cycling the probabilistic
                      landscape, [Bd.] Part 1 / Nils Jansen, Sebastian Junges,
                      Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll,
                      Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors},
      booktitle     = {Principles of verification: cycling
                       the probabilistic landscape, [Bd.] Part
                       1 / Nils Jansen, Sebastian Junges,
                       Benjamin Lucien Kaminski, Christoph
                       Matheja, Thomas Noll, Tim Quatmann,
                       Mariëlle Stoelinga, Matthias Volk,
                       editors},
      cin          = {121310 / 120000},
      cid          = {$I:(DE-82)121310_20140620$ / $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) / MISSION - Models in
                      Space Systems: Integration, Operation, and Networking
                      (101008233)},
      pid          = {G:(EU-Grant)787914 / G:(GEPRIS)282652900 /
                      G:(EU-Grant)101008233},
      typ          = {PUB:(DE-HGF)7},
      doi          = {10.1007/978-3-031-75783-9_11},
      url          = {https://publications.rwth-aachen.de/record/999819},
}