http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)

Gerlach, Carolina^RWTH* ; Winkler, Tobias^RWTH* ; Ábrahám, Erika^RWTH* ; Bonakdarpour, Borzoo ; Junges, Sebastian

2025

Umfang30 Seiten

Online
DOI: 10.48550/arXiv.2505.16357
10.48550/arXiv.2505.16357
DOI: 10.18154/RWTH-2025-05753
URL: https://publications.rwth-aachen.de/record/1013869/files/1013869.pdf

Einrichtungen

1. Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
2. Fachgruppe Informatik (120000)
3. Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)

OpenAccess:
PDF
External link:
Fulltext by arXiv.org

Dokumenttyp
Preprint

Format
online

Sprache
English

Externe Identnummern
arXiv: arXiv:2505.16357

Interne Identnummern
RWTH-2025-05753
Datensatz-ID: 1013869

Beteiligte Länder
Germany, Netherlands, USA