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{Mertens:1017608,
      author       = {Mertens, Hannah and Katoen, Joost-Pieter and Quatmann, Tim
                      and Winkler, Tobias},
      title        = {{C}omputing {E}xpected {V}isiting {T}imes and {S}tationary
                      {D}istributions in {M}arkov {C}hains: {F}ast and {A}ccurate},
      journal      = {Journal of automated reasoning},
      volume       = {69},
      number       = {3},
      issn         = {1573-0670},
      address      = {Dordrecht [u.a.]},
      publisher    = {Springer Science + Business Media B.V.},
      reportid     = {RWTH-2025-07439},
      pages        = {23},
      year         = {2025},
      cin          = {121310 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      pnm          = {OAPKF - Open-Access-Publikation mit Unterstützung der RWTH
                      Aachen University (021000-OAPKF) / GRK 2236 - GRK 2236:
                      Unsicherheit und Randomisierung in Algorithmen, Verifikation
                      und Logik. (282652900) / MKW NRW 005-2401-0001 - VerifAIPO :
                      Verifying Al Systems under Partial Observability
                      (005-2401-0001)},
      pid          = {G:(DE-82)021000-OAPKF / G:(GEPRIS)282652900 / G:(MKW
                      NRW)005-2401-0001},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:001552725700001},
      doi          = {10.1007/s10817-025-09736-7},
      url          = {https://publications.rwth-aachen.de/record/1017608},
}