% 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”.
@INPROCEEDINGS{Gerlach:1017691,
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},
volume = {15931},
address = {Cham},
publisher = {Springer Nature Switzerland},
reportid = {RWTH-2025-07494},
series = {Lecture Notes in Computer Science},
pages = {127-147},
year = {2025},
comment = {Computer Aided Verification : 37th International
Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025,
Proceedings, Part I / edited by Ruzica Piskac, Zvonimir
Rakamarić},
booktitle = {Computer Aided Verification : 37th
International Conference, CAV 2025,
Zagreb, Croatia, July 23-25, 2025,
Proceedings, Part I / edited by Ruzica
Piskac, Zvonimir Rakamarić},
month = {Jul},
date = {2025-07-21},
organization = {Computer Aided Verification - 37.
International Conference, Zagreb
(Croatia), 21 Jul 2025 - 25 Jul 2025},
cin = {123420 / 080060 / 121310 / 120000},
cid = {$I:(DE-82)123420_20140620$ / $I:(DE-82)080060_20170720$ /
$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
UT = {WOS:001562507100006},
doi = {10.1007/978-3-031-98668-0_6},
url = {https://publications.rwth-aachen.de/record/1017691},
}