Pith. sign in

Pith Integrity · Reference Change Desk · events-only

Reference changes

See every place this corpus cites a work that was later retracted, corrected, withdrawn, or placed under expression of concern: exact quote, event source, and what happened next. No model judges the citation.

A notice on this page means a citing paper's bibliography includes a work with a published scholarly-record event. It is not a judgment on the citing paper.

Scoped to citing paper 2604.06859 · clear

01Events with corpus notices

02One-hop citation notices (secondary index)

Correction Crossref Open
Tractable Hyperproperties for MDPs

cites 28 Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges · ref [12] · event 2025-10-18 · 2604.06859 · event page · DOI 10.1007/978-3-031-98668-0_6

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)