h1

h2

h3

h4

h5
h6
% 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{Gerlach:1013869,
      author       = {Gerlach, Carolina and Winkler, Tobias and Ábrahám, Erika
                      and Bonakdarpour, Borzoo and Junges, Sebastian},
      title        = {{E}fficient {P}robabilistic {M}odel {C}hecking for
                      {R}elational {R}eachability ({E}xtended {V}ersion)},
      reportid     = {RWTH-2025-05753},
      pages        = {30 Seiten},
      year         = {2025},
      cin          = {123420 / 120000 / 121310},
      cid          = {$I:(DE-82)123420_20140620$ / $I:(DE-82)120000_20140620$ /
                      $I:(DE-82)121310_20140620$},
      typ          = {PUB:(DE-HGF)25},
      eprint       = {2505.16357},
      howpublished = {arXiv:2505.16357},
      archivePrefix = {arXiv},
      SLACcitation = {$\%\%CITATION$ = $arXiv:2505.16357;\%\%$},
      doi          = {10.48550/arXiv.2505.16357},
      url          = {https://publications.rwth-aachen.de/record/1013869},
}