{"as_of":"2026-08-15T03:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9bdddf18465af2225cfc5fc7b23954d9a7bbd0acd3f32482c80953b6a99e7911","coverage":[{"denominator":24,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T23:57:49.324043Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.15223/citation-record","integrity":"/paper/2607.15223/integrity","json":"/paper/2607.15223/citation-record.json","paper":"/paper/2607.15223"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:46.857147Z","title":"5 Miguel E","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:46.857147Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:123486e623a285a7a18a67fc3a82e4428dd354c2decad2f9aaaaca164822acfd","observation_id":"0b167a2a-1e59-4578-a4b8-14b814a0d98b","resolution":{"observed_at":"2026-08-01T23:57:46.857147Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:47.413090Z","title":"Computingconditional probabilities in markovian models efficiently","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:47.413090Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:97f0f62a3e158365507eb65dede7c28bd14ebcb85649aca91c669f3f044f3c4a","observation_id":"68feb762-ac7e-4f37-aca1-6021e4603d52","resolution":{"observed_at":"2026-08-01T23:57:47.413090Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:47.681715Z","title":"11 Gilles Barthe, Benjamin Grégoire, and Santiago Zanella Béguelin","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:47.681715Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:e4333eed1c36284f93c6b49984d7f52cf22186d595cb31482d2b7a792a3a53be","observation_id":"e30d9aa5-8822-4719-a504-d841f1a31244","resolution":{"observed_at":"2026-08-01T23:57:47.681715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:47.805506Z","title":"12 Gilles Barthe, Justin Hsu, and Kevin Liao","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:47.805506Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:a4abc6fa6e7d30454c7d483ca35214957ae011d655348fb1ec62aceae1afb215","observation_id":"7883bfd4-d851-4d4a-b7ac-cc1e805a5287","resolution":{"observed_at":"2026-08-01T23:57:47.805506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1401.4492","last_updated":"2014-01-21T04:59:36Z","snapshot_observed_at":"2026-08-14T23:47:56.913143Z","submitted_at":"2014-01-17T23:38:50Z","title":"Temporal Logics for Hyperproperties","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1401.4492","snapshot_observed_at":"2026-08-01T23:57:48.200568Z","title":"org/abs/1401.4492,arXiv:1401.4492","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:48.200568Z"},"links":{"cited_paper":"/paper/1401.4492","citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:870545163427313f7567ef3bac2b0f0e6996894538606ebd1ba69bf127a438d2","observation_id":"788d9197-65d1-40ae-8664-ff7ac2b63626","resolution":{"observed_at":"2026-08-01T23:57:48.200568Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:49.206678Z","title":"49 Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, and Miroslav Pajic","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:49.206678Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:44f135564489b136893bd81ebf7633dfea1449e07a6744c45cb1759ff8beb41f","observation_id":"4e9d3c24-3c33-4e0a-b510-658451a95fc2","resolution":{"observed_at":"2026-08-01T23:57:49.206678Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1902.04111","last_updated":"2020-08-04T18:04:03Z","snapshot_observed_at":"2026-08-14T17:17:53.686681Z","submitted_at":"2019-02-11T19:40:15Z","title":"Statistical Model Checking for Hyperproperties","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1902.04111","snapshot_observed_at":"2026-08-01T23:57:49.324043Z","title":null,"venue":null,"work_id":null,"year":1902},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:49.324043Z"},"links":{"cited_paper":"/paper/1902.04111","citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:5506a477d53619ccd0e7adede4d9d585fa9d6c9133e2ba465a6cc861e805a408","observation_id":"2c4cd9a7-28aa-4bd8-9411-52a49c78fe31","resolution":{"observed_at":"2026-08-01T23:57:49.324043Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:48.985394Z","title":null,"venue":null,"work_id":null,"year":1949},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:48.985394Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:185d8fd2af7c219ee86aa230dc5b832326c3e47bae0ba846126b2b8c55777a82","observation_id":"4db6306a-3b30-4e9e-a1e8-2b7ae0c9c25c","resolution":{"observed_at":"2026-08-01T23:57:48.985394Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:48.889381Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":1963,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:48.889381Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:2d6fd56644784c7dc3c4557182e24931008c330f894bb08ca9f5cd4c35d4ee58","observation_id":"ac283b50-1159-480d-85ed-bd07d98f741e","resolution":{"observed_at":"2026-08-01T23:57:48.889381Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:48.623317Z","title":null,"venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":1992,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:48.623317Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:cfad791bc5cd480a650a5e1699c804e54f2f0b7041f6a19373398df4a8bfc5c1","observation_id":"16a609a5-e4a4-43f1-b702-083f24f4e90d","resolution":{"observed_at":"2026-08-01T23:57:48.623317Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:47.976693Z","title":"15 Krishnendu Chatterjee and Mathieu Tracol","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":1997,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:47.976693Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:8cc4127d26202e331541ff01ffc4b0029976aa6e25810318580890fbf96aacf0","observation_id":"cc420d01-8837-45dc-a973-358ff1da401e","resolution":{"observed_at":"2026-08-01T23:57:47.976693Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.12127","last_updated":"2021-05-28T22:47:31Z","snapshot_observed_at":"2026-08-02T10:21:43.659767Z","submitted_at":"2020-03-26T19:52:32Z","title":"Gryffin: An algorithm for Bayesian optimization of categorical variables informed by expert knowledge","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.12127","snapshot_observed_at":"2026-08-01T23:57:49.087228Z","title":"47 Terrence Tao","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:49.087228Z"},"links":{"cited_paper":"/paper/2003.12127","citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:191461e39b6b30170e9ff080a9743d85ad3b3f860ba26bba328c9d4ab5878c85","observation_id":"1540e573-0075-4151-89c9-a7877f267fbc","resolution":{"observed_at":"2026-08-01T23:57:49.087228Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:48.760613Z","title":"43 Michael O","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:48.760613Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:ab0522f5235a0e3048d1ea4ef0f2847b8f855002020d0f55b6307de089dce31e","observation_id":"1d39f5d5-d3d1-4871-bdec-0b60430904f7","resolution":{"observed_at":"2026-08-01T23:57:48.760613Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:46.985876Z","title":"Springer, 2008.doi:10.1007/ 978-3-540-78800-3\\_12","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:46.985876Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:70b6eab4a77be927849b4dffe9dd2a7119066712f66cebea91ece8820f754139","observation_id":"5e61dbd1-4fd1-478d-a13d-81ad43922310","resolution":{"observed_at":"2026-08-01T23:57:46.985876Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.3.1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"8Christel Baier and Joost-Pieter Katoen.Principles of model checking","venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"dfb96073-ef06-4097-8ba8-5b507996b698","year":null},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:47.224275Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:686f34bb8c312e8abf2f004ed546663dcf136d08fb297e545063872888551bf7","observation_id":"4e722902-08e0-4e7b-b92c-fb905a189f3f","resolution":{"observed_at":"2026-08-01T23:58:21.627736Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:48.342603Z","title":"20 Arthur Correnson and Bernd Finkbeiner","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:48.342603Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:51b320229792d19c4c40d7e48be280d0205c0c75dfdc39ede806e391ae2debe0","observation_id":"10ffbc84-9c66-436e-adbf-259cab0cfd08","resolution":{"observed_at":"2026-08-01T23:57:48.342603Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:48.053761Z","title":"30 Disintegration Temporal Logic for Probabilistic Hyperproperties 16Michael R","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:48.053761Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:c46c4fe864ca58b19b2e809f4d9c9af9d893f2ef724d5d898a75b1167f1a54c7","observation_id":"7ab62b10-c147-4372-ac84-84d740d29d54","resolution":{"observed_at":"2026-08-01T23:57:48.053761Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:48.683225Z","title":"35 Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, and YoungMin Kwon","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:48.683225Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:e74ce4c792d09014b57073a3253e0f36e07a432bd70b08f82529a732ec65da1b","observation_id":"8f647d9a-fc55-487d-b890-291dbcb4fee0","resolution":{"observed_at":"2026-08-01T23:57:48.683225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:47.543953Z","title":"Springer, 2014.doi:10.1007/ 978-3-642-54862-8\\_43","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:47.543953Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:7867c1f43a88999bc87a20a31b581fcf531fcca799cef91074f1becf60567516","observation_id":"72733a63-077d-42a1-93e7-ddcd1d4c7e9d","resolution":{"observed_at":"2026-08-01T23:57:47.543953Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1804.01853","last_updated":"2018-04-05T13:54:49Z","snapshot_observed_at":"2026-08-14T19:28:58.969545Z","submitted_at":"2018-04-05T13:54:49Z","title":"HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1804.01853","snapshot_observed_at":"2026-08-01T23:57:46.438311Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:46.438311Z"},"links":{"cited_paper":"/paper/1804.01853","citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:858947660e1a534e915a0c2b2b3569ce6fac3732ab124292e9bebd342781d5d7","observation_id":"615a252f-93f7-482c-aa3d-3b9ce7f28689","resolution":{"observed_at":"2026-08-01T23:57:46.438311Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2005.03362","last_updated":"2020-10-13T15:22:07Z","snapshot_observed_at":"2026-08-11T18:33:57.543669Z","submitted_at":"2020-05-07T09:57:28Z","title":"Probabilistic Hyperproperties of Markov Decision Processes","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2005.03362","snapshot_observed_at":"2026-08-01T23:57:48.472898Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:48.472898Z"},"links":{"cited_paper":"/paper/2005.03362","citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:e8e15171fce348a6b8a0891fe8dcf5e2e83c311007eb4a99968096d75db026b7","observation_id":"3e12b78e-e7e9-42b0-98e0-b50f46505496","resolution":{"observed_at":"2026-08-01T23:57:48.472898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T23:57:46.754638Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:46.754638Z"},"links":{"citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:3bcbadc6fc1945b14eed64a0a7455ddfc39d28700be7aee694897590d33cf536","observation_id":"846abcd9-8465-41f7-b9c6-14837638b4dc","resolution":{"observed_at":"2026-08-01T23:57:46.754638Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.04015","last_updated":"2024-05-07T05:23:56Z","snapshot_observed_at":"2026-08-13T00:13:26.480690Z","submitted_at":"2024-05-07T05:23:56Z","title":"Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.04015","snapshot_observed_at":"2026-08-01T23:57:46.624169Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:46.624169Z"},"links":{"cited_paper":"/paper/2405.04015","citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:339cba16ab5706620e68c4690646a8041c2ec3d13e4387369c67efe6dadf1bbd","observation_id":"6a06105e-1c46-4c1b-a508-66ec85d0a052","resolution":{"observed_at":"2026-08-01T23:57:46.624169Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.17127","last_updated":"2025-01-08T06:47:38Z","snapshot_observed_at":"2026-08-12T23:15:48.618683Z","submitted_at":"2024-07-24T09:58:21Z","title":"A quantitative probabilistic relational Hoare logic","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.17127","snapshot_observed_at":"2026-08-01T23:57:47.085926Z","title":"7 Christel Baier, Nathalie Bertrand, and Marcus Größer","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-01T23:57:47.085926Z"},"links":{"cited_paper":"/paper/2407.17127","citing_paper":"/paper/2607.15223"},"observation_digest":"sha256:c200a0b0af98b11cc50c245d3d1886b4ca3e68d287c76883804d15a16c4c1c44","observation_id":"990fa8d7-156a-420e-bef7-210e27f02030","resolution":{"observed_at":"2026-08-01T23:57:47.085926Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.15223","last_updated":"2026-07-16T17:27:28Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-06T09:57:02.044817Z","submitted_at":"2026-07-16T17:27:28Z","title":"Disintegration Temporal Logic for Probabilistic Hyperproperties"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":21,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":24},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2607.15223."}