Reference change · event page

28 Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges

Published notice on a work cited in the Pith corpus. Exact quotes below. No model judges whether any citation was load-bearing.

This page records that a citing paper's bibliography includes a work with a published notice. It is not a judgment on the citing paper.

Correction Crossref 1 open · 1 total · 0 disputed

DOI: 10.1007/978-3-031-98668-0_6
Notice DOI: 10.1007/978-3-031-98668-0_20
Event date: 2025-10-18
Machine twin: JSON

01One-hop citing occurrences

Correction Open

Tractable Hyperproperties for MDPs

ref [12] · 2604.06859 · notice #3587 · dispute

Raw extraction · bibliography line

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)

Status lifecycle on notices: open → disputed → (response attached on the notice page). Repaired counts matter as much as open counts. There is no “safe,” “invalid,” or “resolved” badge.