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{Chatterjee:1005904,
      author       = {Chatterjee, Krishnendu and Quatmann, Tim and Schäffeler,
                      Maximilian and Weininger, Maximilian and Winkler, Tobias and
                      Zilken, Daniel},
      title        = {{F}ixed {P}oint {C}ertificates for {R}eachability and
                      {E}xpected {R}ewards in {MDP}s},
      reportid     = {RWTH-2025-02090},
      pages        = {54 Seiten},
      year         = {2025},
      month         = {May},
      date          = {2025-05-03},
      organization  = {31. International Conference on Tools
                       and Algorithms for the Construction and
                       Analysis of Systems, Hamilton, ON
                       (Canada), 3 May 2025 - 8 May 2025},
      keywords     = {Discrete Mathematics (cs.DM) (Other) / FOS: Computer and
                      information sciences (Other) / FOS: Electrical engineering,
                      electronic engineering, information engineering (Other) /
                      Logic in Computer Science (cs.LO) (Other) / Systems and
                      Control (eess.SY) (Other)},
      cin          = {121310 / 080060 / 120000},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)080060_20170720$ /
                      $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)25},
      eprint       = {2501.11467},
      howpublished = {arXiv:2501.11467},
      archivePrefix = {arXiv},
      SLACcitation = {$\%\%CITATION$ = $arXiv:2501.11467;\%\%$},
      doi          = {10.48550/arXiv.2501.11467},
      url          = {https://publications.rwth-aachen.de/record/1005904},
}