{"as_of":"2026-08-12T06:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:27e5ddcf271726b502d6c1947f253beab38ac4c3249fed8659815b03617f0ea3","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-05-10T17:26:21.713300Z","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-12T06:34:41.77262+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/2604.06859/citation-record","integrity":"/paper/2604.06859/integrity","json":"/paper/2604.06859/citation-record.json","paper":"/paper/2604.06859"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/37lf","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Parameter synthesis for probabilistic hyperproperties","venue":"EPiC series in computing","work_id":"e0e071e8-c2bb-47d4-a1b0-e71f57de9c50","year":2020},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:e63299e7f2439c84e1d4a7e34d17231e81c13124f96faf2f6ccb9d9b02bc8da9","observation_id":"c86bb6eb-2f4a-4a3e-a60a-80250f180f12","resolution":{"observed_at":"2026-05-10T20:55:46.828535Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-59152-6_29","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"3 Erika Ábrahám and Borzoo Bonakdarpour","venue":"Lecture notes in computer science","work_id":"dc4ba123-c931-4d74-a241-4cbb5fe64209","year":2018},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:992cbf652bd532a48e0f21fcd876d8ce1b9ed53bc9c9b38ad014989215a61267","observation_id":"3ee33ddb-ecbd-4c26-bd91-3fdf8ed18a17","resolution":{"observed_at":"2026-05-10T20:55:46.802382Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9108.320918","doi":"10.1145/3209108.3209183","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Free higher groups in homotopy type theory","venue":null,"work_id":"e915b36b-7524-4ddf-84c7-baf2ebd0bfd2","year":2018},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:6c32e909dd243c5b995592a950a5518b1ee6022a5d896800f1efa66ad5a834e3","observation_id":"99e2400f-3ea0-458c-8bc2-601f3521e90d","resolution":{"observed_at":"2026-05-10T20:55:46.804758Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.46298/lmcs-20(1:4)2024","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"10 Gilles Barthe and Justin Hsu","venue":"Logical Methods in Computer Science","work_id":"ca7435ce-b9ec-430f-8a7d-8c214e53074a","year":2024},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:588ef325162506a707900d7cc0211578847c858d2591636c951bded3765365d3","observation_id":"c5994247-0883-4c10-9b82-28630a15b336","resolution":{"observed_at":"2026-05-10T20:55:46.847765Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-60692-0_70","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Model checking of probabilistic and nondeterministic systems","venue":"Lecture notes in computer science","work_id":"f908a36f-d6af-4b2f-93ca-280faf111da8","year":1995},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:f618af6394c0dddfbde1fe7e312830407f3d03ab43aa40235e16d22160586ac9","observation_id":"2e99794a-6f84-49a7-b9c3-72c627319de5","resolution":{"observed_at":"2026-05-10T20:55:46.833373Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ipl.2013.01.004","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"15 Alexandre David, Kim G","venue":"Information Processing Letters","work_id":"90c149bc-fe12-47ec-88d9-6ccddc3dbdf4","year":2013},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:1b238779d43da5faf99e3e0c331aab9f04a8d398da5cc89d99d0b4f938dfe2d1","observation_id":"f34ebdea-2e23-40c1-813d-b3185ab6e134","resolution":{"observed_at":"2026-05-10T20:55:46.824968Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-22110-1_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer, 2011.doi:10.1007/978-3-642-22110-1_27","venue":"Lecture notes in computer science","work_id":"86a4669b-09f2-4481-bda3-3429506b439a","year":2011},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:3fe6402f1151eaa8051a68a627f1d9354f00b51b533aeaf4163f9c24a541d885","observation_id":"d75ac51c-f924-424e-a789-acb0f4c62926","resolution":{"observed_at":"2026-05-10T20:55:46.821300Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-45190-5_19","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Simple Strategies in Multi-Objective MDPs","venue":"Lecture notes in computer science","work_id":"88b6d6da-3a29-46ff-b6e5-ce38dabb1ce1","year":2020},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:47d2899c51ce10f887fcd6f546a672b621abfc6ca39b332d70fdf26d8ad3994b","observation_id":"ed5df1d5-bee9-416e-84aa-f38267c09b1f","resolution":{"observed_at":"2026-05-10T20:55:46.826720Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11817963_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"52 Tractable Hyperproperties for MDPs 22 Kousha Etessami, Marta Z","venue":"Lecture notes in computer science","work_id":"d19113db-fabc-4970-9bef-c9fd5138517d","year":2008},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:b99b3ed710485f6375fe43ee75d7f10e156f82345f56c0cc9152445ef31e9216","observation_id":"ab32c5e8-4183-4d75-a3eb-37d867ae8634","resolution":{"observed_at":"2026-05-10T20:55:46.842427Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-19835-9_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer, 2011.doi:10.1007/978-3-642-19835-9_11","venue":"Lecture notes in computer science","work_id":"7a297e95-4f19-4bb7-8e0d-dcb317f874df","year":2011},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:6dc1df89559711dea9205f03c3dc6c0c1f81ef14b1e2bce4258b2d20941ed420","observation_id":"cb840567-a48a-47bc-8726-37fce4d982af","resolution":{"observed_at":"2026-05-10T20:55:46.823006Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-33386-6_25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer, 2012.doi:10.1007/978-3-642-33386-6_25","venue":"Lecture notes in computer science","work_id":"7a7e5cd6-b4e8-4324-90bb-c09aa481e2ac","year":2012},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:4f997ac535c4c70a30508628a73304c11e2e4eeba7c6688474d3c3b9f2f0122e","observation_id":"36c82f8c-b3d8-44c1-bbc5-a6db7e70a972","resolution":{"observed_at":"2026-05-10T20:55:46.800430Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-98668-0_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"28 Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges","venue":"Lecture notes in computer science","work_id":"14700f4c-2179-4b74-a77c-0b8cbe5fcdaf","year":null},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:225e24859115059f5980b3a0cd40ba01cb34e3dedc592c80898cb429409e8b61","observation_id":"9e566160-5565-44df-a684-6585a390fb95","resolution":{"observed_at":"2026-05-10T20:55:46.849660Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[{"edge_observation":{"observed_at":"2026-07-11T04:03:03.877922+00:00","source":"paper_reference_links","state":"open"},"event_date":"2025-10-18","event_type":"correction","notice_doi":"10.1007/978-3-031-98668-0_20","provenance":{"observed_at":"2026-07-11T03:04:37.17281+00:00","source":"crossref","source_record_id":"10.1007/978-3-031-98668-0_20->10.1007/978-3-031-98668-0_6:correction"}}],"reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48550/arxiv.2505","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T01:16:40.411413Z","title":"AceReason-Nemotron: Advancing math and code reasoning through reinforcement learning","venue":null,"work_id":"5ca62627-18c8-4130-9e2d-a026a3d530d3","year":2025},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:27305199ba89713e2d9ab61ae299cff450c47ae652ea4edddb2f026dd0dac9f2","observation_id":"6576e51d-95ea-4bfa-ba0b-6b2f879e1e56","resolution":{"observed_at":"2026-05-10T20:55:46.845929Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-07-10T01:20:13.769017+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-10T01:20:13.769017+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-30823-9_24","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"31 Arnd Hartmanns and Benjamin Lucien Kaminski","venue":"Lecture notes in computer science","work_id":"3c4a2d04-d6ad-4cf8-9cac-a62de98fc192","year":2023},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:895fa74902f142778cd29c25049e5a4c36a8af5d18505b3d005a83471efa8bba","observation_id":"c833ce4d-1a70-4ca8-a232-32b8e387566f","resolution":{"observed_at":"2026-05-10T20:55:46.808704Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-53291-8_26","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"32 Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk","venue":"Lecture notes in computer science","work_id":"dbaaef9f-554c-432f-bb4c-bef82901dccb","year":2022},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:eaa378185ce886192c0e75d3f6800b4babec8454510e9b60039ad6b19a22babc","observation_id":"563cd276-f517-4bda-8b06-f7f845e98ff7","resolution":{"observed_at":"2026-05-10T20:55:46.806606Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"LTL-Constrained Steady-State Policy Synthesis","venue":null,"work_id":"fbf61bcb-5e5e-48d4-988a-ed925041af19","year":2021},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:75408a9dfbf8705bb042789643e6f4337a98f34a42b08bc9920a448f7bc0585f","observation_id":"e46d240c-c617-46be-848f-9b438c35fa2c","resolution":{"observed_at":"2026-05-17T10:29:27.033817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/ijcai.2021/565","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"40 Marta Z","venue":null,"work_id":"f6fde2a3-e3a0-41a4-b46e-13b955afc6d9","year":2021},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:e5c5a61cc5384207b2a6495fbc933be9f93bd0be8d469ac17506ca7bc0c9b53c","observation_id":"24b8ba98-39d4-4ab5-870b-d3cb7e6014c3","resolution":{"observed_at":"2026-05-10T20:55:46.814851Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-025-09736-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"44 Jasper Nalbach, Erika Ábrahám, and Gereon Kremer","venue":"Journal of Automated Reasoning","work_id":"e5b2fba3-6512-4c8b-b81c-704c6e403551","year":2021},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:7f4ec733196b689f95eba0f92a73ffdd3abd94bf4a25ed3a39085c7e2e6156b6","observation_id":"2feb776e-dc79-4c8a-bd85-c3d501c28f33","resolution":{"observed_at":"2026-05-10T20:55:46.838898Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-36563-8_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"46 Martin L","venue":"Lecture notes in computer science","work_id":"587750a3-8a3a-4d40-bad4-f91abb6c8a36","year":1994},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:0d6ba6d0097ba480393fe0bbc35db7b220f0792dd149809a0b72d991812c9f6e","observation_id":"4f769cf9-8325-47d1-883f-387d06e807bf","resolution":{"observed_at":"2026-05-10T20:55:46.844096Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.5101292","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"48 Tim Quatmann.Verification of Multi-Objective Markov Models","venue":"Zenodo (CERN European Organization for Nuclear Research)","work_id":"e197c743-0195-41a3-8ddb-e44eede54af8","year":null},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:761dd000ff56705a76c51a419772ece23281c351dd9755203a289c891585e2e2","observation_id":"3861d294-5289-4571-ac76-9fe1944a366b","resolution":{"observed_at":"2026-05-10T20:55:46.818365Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-46520-3_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Parameter Synthesis for Markov Models: Faster Than Ever","venue":"Lecture notes in computer science","work_id":"b76e853d-0945-4842-8683-ec6f6d7f5bd5","year":2016},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:d4da4bc26d4a34469290136d8fc7a33d524b07ee886cd7f1a5de5566be0049bb","observation_id":"addd0029-2665-4e6e-82dd-5cdbef4a9be3","resolution":{"observed_at":"2026-05-10T20:55:46.853046Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-63387-9_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"51 Tim Quatmann and Joost-Pieter Katoen","venue":"Lecture notes in computer science","work_id":"873bb3f0-371a-4af4-bd47-44cae0d75e7b","year":2018},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:31445ae8e7174f00744585e3e6ce43193adde410b059d33a92352988d63b555f","observation_id":"511de2bb-ccf4-4b67-b85a-f8f919a5d54b","resolution":{"observed_at":"2026-05-10T20:55:46.840624Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10703-016-0262-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"53 Koushik Sen, Mahesh Viswanathan, and Gul Agha","venue":"Formal Methods in System Design","work_id":"34319dd9-fad3-4e6e-b054-9aab32abbbb0","year":2006},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:84694be3412d7b370cb24081529d8f6033f9fb569e2d153a6bc96ed03b025e1e","observation_id":"90673ef6-2fa1-4540-b259-f5216bc6e22d","resolution":{"observed_at":"2026-05-10T20:55:46.835188Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2007.368183","doi":"10.1109/adprl.2007.368183","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A Full Algorithm forRelReach(Section 5.1) The algorithms in this section are taken verbatim from [28]","venue":null,"work_id":"8e92c3fe-fa62-4bdb-bf7d-1e5ce275ca66","year":2007},"citing_paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-10T17:26:21.713300Z"},"links":{"citing_paper":"/paper/2604.06859"},"observation_digest":"sha256:37f69725bdd738c713132154bf946b6ca1e4a20560072d4fb6b5c64e601b0560","observation_id":"9f0f7b9c-4753-4103-9960-a52f71eb141f","resolution":{"observed_at":"2026-05-10T20:55:46.831274Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.06859","last_updated":"2026-04-08T09:21:13Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-07-06T22:55:15.791334Z","submitted_at":"2026-04-08T09:21:13Z","title":"Tractable Hyperproperties for MDPs"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":0,"verified_exact":21,"verified_fuzzy":1},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"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."}