h1

h2

h3

h4

h5
h6
TY  - EJOUR
AU  - Gerlach, Carolina
AU  - Winkler, Tobias
AU  - Ábrahám, Erika
AU  - Bonakdarpour, Borzoo
AU  - Junges, Sebastian
TI  - Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
M1  - RWTH-2025-05753
SP  - 30 Seiten
PY  - 2025
LB  - PUB:(DE-HGF)25
DO  - DOI:10.48550/arXiv.2505.16357
UR  - https://publications.rwth-aachen.de/record/1013869
ER  -