Citation notice #3587 · 2026-07-11 03:19:03.624741+00:00

Tractable Hyperproperties for MDPs

Correction Crossref Open

cites 28 Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges, which carries a correction notice dated 2025-10-18. One-hop deterministic notice: the citation edge exists in the Pith bibliography graph; no model judged whether the citation was load-bearing.

This is not a judgment on the citing paper.

Citing paper Event page Original DOI Notice DOI File a formal challenge All reference changes

01Evidence

Raw extraction · bibliography line · bibliography index 12

Springer Nature Switzerland.doi:10.1007/978-3-031-98668-0_6. 28 Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges. Efficient probabilistic model checking for relational reachability (extended version),

Parser render (TeX stripped for reading; raw above is the evidence)

Springer Nature Switzerland.doi:10.1007/978-3-031-98668-0_6. 28 Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges. Efficient probabilistic model checking for relational reachability (extended version)

02Event

Type: Correction
Source: Crossref
Original DOI: 10.1007/978-3-031-98668-0_6
Notice DOI: 10.1007/978-3-031-98668-0_20
Date: 2025-10-18
Title: Correction to: Efficient Probabilistic Model Checking for Relational Reachability
Reasons: ['Correction']
Work: 28 Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges (?) Lecture notes in computer science

Schema constants (for re-runners): correction · crossref

03Dispute this notice

If this citation does not depend on the flagged claim, or the event is wrong, say so. Disputes are public. For a signed challenge against the paper itself, use the formal challenge form.