A
Menu
January 01, 2025 erratum Open access Aachen paper

Correction to: Efficient Probabilistic Model Checking for Relational Reachability

RWTH Publications (RWTH Aachen)

DOI: 10.18154/rwth-2026-03527 Full text (OA) OpenAlex

Authors 5

  1. Lina Gerlach Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  2. Tobias Winkler Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  3. Erika Ábrahám Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  4. Borzoo Bonakdarpour
  5. Sebastian Junges Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 0