h1

h2

h3

h4

h5
h6
%0 Electronic Article
%A Gerlach, Carolina
%A Winkler, Tobias
%A Ábrahám, Erika
%A Bonakdarpour, Borzoo
%A Junges, Sebastian
%T Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
%M RWTH-2025-05753
%P 30 Seiten
%D 2025
%F PUB:(DE-HGF)25
%9 Preprint
%R 10.48550/arXiv.2505.16357
%U https://publications.rwth-aachen.de/record/1013869