Correction to: Efficient Probabilistic Model Checking for Relational Reachability

Gerlach, Lina; Winkler, Tobias; Bonakdarpour, Borzoo; Abraham, Erika; Junges, Sebastian

doi:978-3-031-98667-3

Correction to: Efficient Probabilistic Model Checking for Relational Reachability

Gerlach, Lina^RWTH* ; Winkler, Tobias^RWTH* ; Abraham, Erika^RWTH* ; Bonakdarpour, Borzoo ; Junges, Sebastian (Corresponding author)^RWTH*

In
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I, Seiten/Artikel-Nr: C1-C2

2025

Konferenz/Event:37. International Conference on Computer Aided Verification , Zagreb , Croatia , CAV 2025 , 2025-07-23 - 2025-07-25

ImpressumCham : Springer Nature Switzerland

UmfangC1-C2

ISBN978-3-031-98667-3, 978-3-031-98668-0

ReiheLecture Notes in Computer Science ; 15931

Correction zu: Gerlach, Lina ... : Efficient Probabilistic Model Checking for Relational Reachability. - In: Computer Aided Verification. - 127-147. - DOI: 10.1007/978-3-031-98668-0_6

Online
DOI: 10.1007/978-3-031-98668-0_20
10.1007/978-3-031-98668-0_20

Einrichtungen

Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)

Dokumenttyp
Contribution to a book (Erratum/Correction)/Contribution to a conference proceedings (Erratum/Correction)

Format
online, print

Sprache
English

Interne Identnummern
RWTH-2026-03527
Datensatz-ID: 1032441

Beteiligte Länder
Germany, Netherlands, USA

Related:

Contribution to a book/Contribution to a conference proceedings Gerlach, C.RWTH* ; Winkler, T.RWTH* ; Ábrahám, E.RWTH* ; Bonakdarpour, B. ; Junges, S. (Corresponding author)
Efficient Probabilistic Model Checking for Relational Reachability
2025Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I / edited by Ruzica Piskac, Zvonimir Rakamarić
Computer Aided Verification - 37. International Conference, CAV 2025, ZagrebZagreb, Croatia, 21 Jul 2025 - 25 Jul 20252025-07-212025-07-25 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 15931, 127-147 (2025) [10.1007/978-3-031-98668-0_6]2025 BibTeX | EndNote: XML, Text | RIS