Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T17:26:21.713300Z
Paper Citation Record · LEDGER
Tractable Hyperproperties for MDPs
As of 12 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2604.06859.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
24 of 24 outbound references displayed
- verified exact21
- verified fuzzy1
- unresolved0
- parse uncertain0
- malformed identifier1
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation c86bb6eb-2f4a-4a3e-a60a-80250f180f12 · outbound
This paper cites Parameter synthesis for probabilistic hyperproperties.
Tractable Hyperproperties for MDPs Parameter synthesis for probabilistic hyperproperties
Reference 1
- Resolution
- malformed identifier
- doi_truncated, observed 2026-05-10T20:55:46.828535Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3ee33ddb-ecbd-4c26-bd91-3fdf8ed18a17 · outbound
This paper cites 3 Erika Ábrahám and Borzoo Bonakdarpour.
Tractable Hyperproperties for MDPs 3 Erika Ábrahám and Borzoo Bonakdarpour
Reference 2
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.802382Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 99e2400f-3ea0-458c-8bc2-601f3521e90d · outbound
This paper cites Free higher groups in homotopy type theory.
Tractable Hyperproperties for MDPs Free higher groups in homotopy type theory
Reference 3
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-10T20:55:46.804758Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation c5994247-0883-4c10-9b82-28630a15b336 · outbound
This paper cites 10 Gilles Barthe and Justin Hsu.
Tractable Hyperproperties for MDPs 10 Gilles Barthe and Justin Hsu
Reference 4
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.847765Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 2e99794a-6f84-49a7-b9c3-72c627319de5 · outbound
This paper cites Model checking of probabilistic and nondeterministic systems.
Tractable Hyperproperties for MDPs Model checking of probabilistic and nondeterministic systems
Reference 5
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.833373Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation f34ebdea-2e23-40c1-813d-b3185ab6e134 · outbound
This paper cites 15 Alexandre David, Kim G.
Tractable Hyperproperties for MDPs 15 Alexandre David, Kim G
Reference 6
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.824968Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation d75ac51c-f924-424e-a789-acb0f4c62926 · outbound
This paper cites Springer, 2011.doi:10.1007/978-3-642-22110-1_27.
Tractable Hyperproperties for MDPs Springer, 2011.doi:10.1007/978-3-642-22110-1_27
Reference 7
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.821300Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation ed5df1d5-bee9-416e-84aa-f38267c09b1f · outbound
This paper cites Simple Strategies in Multi-Objective MDPs.
Tractable Hyperproperties for MDPs Simple Strategies in Multi-Objective MDPs
Reference 8
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.826720Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation ab32c5e8-4183-4d75-a3eb-37d867ae8634 · outbound
This paper cites 52 Tractable Hyperproperties for MDPs 22 Kousha Etessami, Marta Z.
Tractable Hyperproperties for MDPs 52 Tractable Hyperproperties for MDPs 22 Kousha Etessami, Marta Z
Reference 9
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.842427Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation cb840567-a48a-47bc-8726-37fce4d982af · outbound
This paper cites Springer, 2011.doi:10.1007/978-3-642-19835-9_11.
Tractable Hyperproperties for MDPs Springer, 2011.doi:10.1007/978-3-642-19835-9_11
Reference 10
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.823006Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 36c82f8c-b3d8-44c1-bbc5-a6db7e70a972 · outbound
This paper cites Springer, 2012.doi:10.1007/978-3-642-33386-6_25.
Tractable Hyperproperties for MDPs Springer, 2012.doi:10.1007/978-3-642-33386-6_25
Reference 11
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.800430Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 9e566160-5565-44df-a684-6585a390fb95 · outbound
This paper cites 28 Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges.
Tractable Hyperproperties for MDPs 28 Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges
Reference 12
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.849660Z
Source-reported events for the cited work
correction dated 2025-10-18. Source: crossref record 10.1007/978-3-031-98668-0_20->10.1007/978-3-031-98668-0_6:correction, observed 2026-07-11T03:04:37.17281+00:00. This notice travels one citation hop only.
Observation 6576e51d-95ea-4bfa-ba0b-6b2f879e1e56 · outbound
This paper cites AceReason-Nemotron: Advancing math and code reasoning through reinforcement learning.
Tractable Hyperproperties for MDPs AceReason-Nemotron: Advancing math and code reasoning through reinforcement learning
Reference 13
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.845929Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation c833ce4d-1a70-4ca8-a232-32b8e387566f · outbound
This paper cites 31 Arnd Hartmanns and Benjamin Lucien Kaminski.
Tractable Hyperproperties for MDPs 31 Arnd Hartmanns and Benjamin Lucien Kaminski
Reference 14
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.808704Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 563cd276-f517-4bda-8b06-f7f845e98ff7 · outbound
This paper cites 32 Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk.
Tractable Hyperproperties for MDPs 32 Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk
Reference 15
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.806606Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation e46d240c-c617-46be-848f-9b438c35fa2c · outbound
This paper cites LTL-Constrained Steady-State Policy Synthesis.
Tractable Hyperproperties for MDPs LTL-Constrained Steady-State Policy Synthesis
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T10:29:27.033817Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 24b8ba98-39d4-4ab5-870b-d3cb7e6014c3 · outbound
This paper cites 40 Marta Z.
Tractable Hyperproperties for MDPs 40 Marta Z
Reference 17
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.814851Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 2feb776e-dc79-4c8a-bd85-c3d501c28f33 · outbound
This paper cites 44 Jasper Nalbach, Erika Ábrahám, and Gereon Kremer.
Tractable Hyperproperties for MDPs 44 Jasper Nalbach, Erika Ábrahám, and Gereon Kremer
Reference 18
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.838898Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 4f769cf9-8325-47d1-883f-387d06e807bf · outbound
This paper cites 46 Martin L.
Tractable Hyperproperties for MDPs 46 Martin L
Reference 19
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.844096Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3861d294-5289-4571-ac76-9fe1944a366b · outbound
This paper cites 48 Tim Quatmann.Verification of Multi-Objective Markov Models.
Tractable Hyperproperties for MDPs 48 Tim Quatmann.Verification of Multi-Objective Markov Models
Reference 20
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.818365Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation addd0029-2665-4e6e-82dd-5cdbef4a9be3 · outbound
This paper cites Parameter Synthesis for Markov Models: Faster Than Ever.
Tractable Hyperproperties for MDPs Parameter Synthesis for Markov Models: Faster Than Ever
Reference 21
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.853046Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 511de2bb-ccf4-4b67-b85a-f8f919a5d54b · outbound
This paper cites 51 Tim Quatmann and Joost-Pieter Katoen.
Tractable Hyperproperties for MDPs 51 Tim Quatmann and Joost-Pieter Katoen
Reference 22
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.840624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 90673ef6-2fa1-4540-b259-f5216bc6e22d · outbound
This paper cites 53 Koushik Sen, Mahesh Viswanathan, and Gul Agha.
Tractable Hyperproperties for MDPs 53 Koushik Sen, Mahesh Viswanathan, and Gul Agha
Reference 23
- Resolution
- verified exact
- doi, observed 2026-05-10T20:55:46.835188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 9f0f7b9c-4753-4103-9960-a52f71eb141f · outbound
This paper cites A Full Algorithm forRelReach(Section 5.1) The algorithms in this section are taken verbatim from [28].
Tractable Hyperproperties for MDPs A Full Algorithm forRelReach(Section 5.1) The algorithms in this section are taken verbatim from [28]
Reference 24
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T20:55:46.831274Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Pith citing papers
No inbound Pith citation observations are available.