Paper Citation Record · LEDGER

Disintegration Temporal Logic for Probabilistic Hyperproperties

As of 14 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2607.15223.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.15223 v1

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T23:57:49.324043Z

measured 24 of 24 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

24 of 24 outbound references displayed

verified exact1
verified fuzzy0
unresolved21
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0b167a2a-1e59-4578-a4b8-14b814a0d98b · outbound

This paper cites 5 Miguel E.

Disintegration Temporal Logic for Probabilistic Hyperproperties 5 Miguel E

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:46.857147Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68feb762-ac7e-4f37-aca1-6021e4603d52 · outbound

This paper cites Computingconditional probabilities in markovian models efficiently.

Disintegration Temporal Logic for Probabilistic Hyperproperties Computingconditional probabilities in markovian models efficiently

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:47.413090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e30d9aa5-8822-4719-a504-d841f1a31244 · outbound

This paper cites 11 Gilles Barthe, Benjamin Grégoire, and Santiago Zanella Béguelin.

Disintegration Temporal Logic for Probabilistic Hyperproperties 11 Gilles Barthe, Benjamin Grégoire, and Santiago Zanella Béguelin

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:47.681715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7883bfd4-d851-4d4a-b7ac-cc1e805a5287 · outbound

This paper cites 12 Gilles Barthe, Justin Hsu, and Kevin Liao.

Disintegration Temporal Logic for Probabilistic Hyperproperties 12 Gilles Barthe, Justin Hsu, and Kevin Liao

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:47.805506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 788d9197-65d1-40ae-8664-ff7ac2b63626 · outbound

This paper cites Temporal Logics for Hyperproperties.

Disintegration Temporal Logic for Probabilistic Hyperproperties Temporal Logics for Hyperproperties

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:48.200568Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e9d3c24-3c33-4e0a-b510-658451a95fc2 · outbound

This paper cites 49 Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, and Miroslav Pajic.

Disintegration Temporal Logic for Probabilistic Hyperproperties 49 Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, and Miroslav Pajic

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:49.206678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c4cd9a7-28aa-4bd8-9411-52a49c78fe31 · outbound

This paper cites Statistical Model Checking for Hyperproperties.

Disintegration Temporal Logic for Probabilistic Hyperproperties Statistical Model Checking for Hyperproperties

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:49.324043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4db6306a-3b30-4e9e-a1e8-2b7ae0c9c25c · outbound

This paper cites an unresolved cited work.

Disintegration Temporal Logic for Probabilistic Hyperproperties Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:48.985394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac283b50-1159-480d-85ed-bd07d98f741e · outbound

This paper cites an unresolved cited work.

Disintegration Temporal Logic for Probabilistic Hyperproperties Unresolved cited work

Reference 1963

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:48.889381Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16a609a5-e4a4-43f1-b702-083f24f4e90d · outbound

This paper cites an unresolved cited work.

Disintegration Temporal Logic for Probabilistic Hyperproperties Unresolved cited work

Reference 1992

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:48.623317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc420d01-8837-45dc-a973-358ff1da401e · outbound

This paper cites 15 Krishnendu Chatterjee and Mathieu Tracol.

Disintegration Temporal Logic for Probabilistic Hyperproperties 15 Krishnendu Chatterjee and Mathieu Tracol

Reference 1997

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:47.976693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1540e573-0075-4151-89c9-a7877f267fbc · outbound

This paper cites Gryffin: An algorithm for Bayesian optimization of categorical variables informed by expert knowledge.

Disintegration Temporal Logic for Probabilistic Hyperproperties Gryffin: An algorithm for Bayesian optimization of categorical variables informed by expert knowledge

Reference 2003

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:49.087228Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d39f5d5-d3d1-4871-bdec-0b60430904f7 · outbound

This paper cites 43 Michael O.

Disintegration Temporal Logic for Probabilistic Hyperproperties 43 Michael O

Reference 2007

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:48.760613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e61dbd1-4fd1-478d-a13d-81ad43922310 · outbound

This paper cites Springer, 2008.doi:10.1007/ 978-3-540-78800-3\_12.

Disintegration Temporal Logic for Probabilistic Hyperproperties Springer, 2008.doi:10.1007/ 978-3-540-78800-3\_12

Reference 2008

Resolution: malformed identifier; no resolver link, observed 2026-08-01T23:57:46.985876Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e722902-08e0-4e7b-b92c-fb905a189f3f · outbound

This paper cites 8Christel Baier and Joost-Pieter Katoen.Principles of model checking.

Disintegration Temporal Logic for Probabilistic Hyperproperties 8Christel Baier and Joost-Pieter Katoen.Principles of model checking

Reference 2009

Resolution: verified exact; doi, observed 2026-08-01T23:58:21.627736Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 10ffbc84-9c66-436e-adbf-259cab0cfd08 · outbound

This paper cites 20 Arthur Correnson and Bernd Finkbeiner.

Disintegration Temporal Logic for Probabilistic Hyperproperties 20 Arthur Correnson and Bernd Finkbeiner

Reference 2010

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:48.342603Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ab62b10-c147-4372-ac84-84d740d29d54 · outbound

This paper cites 30 Disintegration Temporal Logic for Probabilistic Hyperproperties 16Michael R.

Disintegration Temporal Logic for Probabilistic Hyperproperties 30 Disintegration Temporal Logic for Probabilistic Hyperproperties 16Michael R

Reference 2011

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:48.053761Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f647d9a-fc55-487d-b890-291dbcb4fee0 · outbound

This paper cites 35 Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, and YoungMin Kwon.

Disintegration Temporal Logic for Probabilistic Hyperproperties 35 Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, and YoungMin Kwon

Reference 2013

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:48.683225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72733a63-077d-42a1-93e7-ddcd1d4c7e9d · outbound

This paper cites Springer, 2014.doi:10.1007/ 978-3-642-54862-8\_43.

Disintegration Temporal Logic for Probabilistic Hyperproperties Springer, 2014.doi:10.1007/ 978-3-642-54862-8\_43

Reference 2014

Resolution: malformed identifier; no resolver link, observed 2026-08-01T23:57:47.543953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 615a252f-93f7-482c-aa3d-3b9ce7f28689 · outbound

This paper cites HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties.

Disintegration Temporal Logic for Probabilistic Hyperproperties HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:46.438311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e12b78e-e7e9-42b0-98e0-b50f46505496 · outbound

This paper cites Probabilistic Hyperproperties of Markov Decision Processes.

Disintegration Temporal Logic for Probabilistic Hyperproperties Probabilistic Hyperproperties of Markov Decision Processes

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:48.472898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 846abcd9-8465-41f7-b9c6-14837638b4dc · outbound

This paper cites an unresolved cited work.

Disintegration Temporal Logic for Probabilistic Hyperproperties Unresolved cited work

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:46.754638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a06105e-1c46-4c1b-a508-66ec85d0a052 · outbound

This paper cites Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties.

Disintegration Temporal Logic for Probabilistic Hyperproperties Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:46.624169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 990fa8d7-156a-420e-bef7-210e27f02030 · outbound

This paper cites A quantitative probabilistic relational Hoare logic.

Disintegration Temporal Logic for Probabilistic Hyperproperties A quantitative probabilistic relational Hoare logic

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-01T23:57:47.085926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.