{"as_of":"2026-08-08T06:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:66728573dab189bb12d39b113c827ac9cb62f2371fc27f55ebba0f26cc3b35a5","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T20:01:11.293505Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2507.04286/citation-record","integrity":"/paper/2507.04286/integrity","json":"/paper/2507.04286/citation-record.json","paper":"/paper/2507.04286"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:08.709335Z","title":"Stochastic omega-regular verification and control with supermartingales","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:08.709335Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:8224cbcf7db3d3e1d570367773b8f9d0d94bf77827c8176b3f501cf70e6759a2","observation_id":"a9e67dd6-3c7f-4717-b4f4-933ef2087a51","resolution":{"observed_at":"2026-08-06T20:01:08.709335Z","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-06T20:01:08.763200Z","title":"Akshay, Blaise Genest, and P","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:08.763200Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:de4fa31446274557d4ceb52244533c30a7dc73ae6a9384ccf45cea988b756bd2","observation_id":"94ef0f35-5208-4033-b0a1-7fe4507a0920","resolution":{"observed_at":"2026-08-06T20:01:08.763200Z","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":"10.1016/j.ipl.2014.08.013","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:11.453678Z","title":"Akshay, Timos Antonopoulos, Jo \\\" e l Ouaknine, and James Worrell","venue":null,"work_id":"88f2c8f5-5972-478c-885b-14de37ce510d","year":2015},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:08.841014Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:a56a9a35a8c78ac09c032aae102b4f673ea18435457215325579a2bc48480e97","observation_id":"b51f3f9d-029f-4218-87af-0c9196a4dbbf","resolution":{"observed_at":"2026-08-06T20:01:11.457612Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:01:08.895762Z","title":"Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:08.895762Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:16aec154b04c5446965da9a4f6896292303729861e216f94248d4c55b298e62a","observation_id":"23cf078b-ee98-49f6-912c-0355e1b57001","resolution":{"observed_at":"2026-08-06T20:01:08.895762Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:12.076879Z","title":"Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic","venue":null,"work_id":"0901afb0-9aed-4cfb-b55f-eb4aeefd4aac","year":2024},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:08.955095Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:790349aa4a79501f3cbf4a86853a5d17312966793c98744eb071e74d11e6f0e9","observation_id":"12ef776b-3e34-41c4-b4ed-aaa1545e4a6c","resolution":{"observed_at":"2026-08-06T20:01:12.081209Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:01:09.032923Z","title":"Akshay, Blaise Genest, and Nikhil Vyas","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.032923Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:aca845921e3cf3e22551c9a58c313b4d524e9f289b11c61e71f971e8946278f0","observation_id":"fbd310b2-c56d-4e0b-bf9b-b462e283c740","resolution":{"observed_at":"2026-08-06T20:01:09.032923Z","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-06T20:01:09.083570Z","title":"Polynomial reachability witnesses via stellens \\\" a tze","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.083570Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:c1fe352d51ec98788f3a340a3e7bb35df76e57f4b027c619acd7393a525285bc","observation_id":"cb3bfa77-df69-486f-85e4-72b8615f6d1e","resolution":{"observed_at":"2026-08-06T20:01:09.083570Z","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-06T20:01:09.199723Z","title":"Principles of model checking","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.199723Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:1b94dba510bde46e3631ad55b55d6ccfad4c4c26a6c1e564df666a9372c68da7","observation_id":"ebe8fdad-c732-4772-90b2-342a7311c640","resolution":{"observed_at":"2026-08-06T20:01:09.199723Z","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":"10.1007/978-3-540-92221-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"On the solvability of anonymous partial grids exploration by mobile robots","venue":null,"work_id":"46fec5b7-0963-47b8-88e8-4a886b0bcb3d","year":2008},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.348336Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:24e6aee86c3663c41d4779b5456483d245fee6ef7db2a508841d241026300846","observation_id":"d6cf6ffd-286b-4f49-9a83-eb8ee2c7f0a2","resolution":{"observed_at":"2026-08-06T20:01:11.439981Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1093/logcom/exl004","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:11.423129Z","title":"A logic of probability with decidable model checking","venue":null,"work_id":"798703ab-8ba7-464e-b728-8f5be7162f33","year":2006},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.448333Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:f4c7efdc2270187d228b35093ae4398132deecab208c15590aea7b59c6e1c143","observation_id":"ec1b0933-17bf-4085-9bb6-75f1be163e40","resolution":{"observed_at":"2026-08-06T20:01:11.427596Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/qest.2011.22","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:11.408720Z","title":"Model checking MDP s with a unique compact invariant set of distributions","venue":null,"work_id":"0659e3b6-374b-4dc8-a2de-f1a356946987","year":2011},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.524643Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:5e51d12ce8528ad68357db6c2dd2aa0456039a8bb59e043b88159dda61be6b48","observation_id":"b7199dc4-7a92-4b0b-93ca-d3d34eea79e7","resolution":{"observed_at":"2026-08-06T20:01:11.413431Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:01:09.603942Z","title":"Probabilistic program analysis with martingales","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.603942Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:1a22510ceecef3f7204193733ae051e081103b5752a1e792df6d35bebaaaf936","observation_id":"205c7a0b-b00b-40d1-a3c7-399e9900237c","resolution":{"observed_at":"2026-08-06T20:01:09.603942Z","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-06T20:01:09.664222Z","title":"Termination analysis of probabilistic programs through positivstellensatz's","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.664222Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:8c4f19dc0caae5c869b841104eeae6791da0f269384abbabd07d15b82854b19b","observation_id":"b567d599-ca1c-404b-8029-0b259eea1499","resolution":{"observed_at":"2026-08-06T20:01:09.664222Z","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-06T20:01:09.726560Z","title":"Polynomial invariant generation for non-deterministic recursive programs","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.726560Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:5ab0e4601d700a7359277c641709bf2b408b4942e9c08d5c6eb670a4433c602b","observation_id":"1eae9aeb-1f5b-4c60-a50f-d60790a8f6bf","resolution":{"observed_at":"2026-08-06T20:01:09.726560Z","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-06T20:01:09.760097Z","title":"Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.760097Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:9441ddd39c73064476d889755f5a750e0d427f31a8dcf410bfde2745237d5783","observation_id":"d4d95481-e1d5-46f2-bd10-d7753fdc7296","resolution":{"observed_at":"2026-08-06T20:01:09.760097Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03796","last_updated":"2025-01-29T12:03:55Z","snapshot_observed_at":"2026-08-06T14:28:23.214994Z","submitted_at":"2024-08-07T14:20:28Z","title":"PolyQEnt: A Polynomial Quantified Entailment Solver","version":3},"cited_work":{"arxiv_id":"2408.03796","doi":null,"metadata_source":"pith","pith_arxiv_id":"2408.03796","snapshot_observed_at":"2026-08-06T20:01:11.717652Z","title":"PolyQEnt: A Polynomial Quantified Entailment Solver","venue":"cs.LO","work_id":"0528ed4f-93ed-4647-8767-7c2c981b9890","year":2024},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:09.864128Z"},"links":{"cited_paper":"/paper/2408.03796","citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:4f5e2cd30477733e1bb204333a2fb21b1492b4eb121bb6e40ada58276d46b4ae","observation_id":"5c357e97-5c1b-47f5-9e36-86e0d2c5e9a5","resolution":{"observed_at":"2026-08-06T20:01:11.724362Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:01:10.040880Z","title":"Sound and complete witnesses for template-based verification of LTL properties on polynomial programs","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:10.040880Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:ca537e56af8a7cb6d0ffc5cc873adb45b14059b515129a020ce10366f64e1e0d","observation_id":"231e9a5e-d263-4876-bd5d-387cb914ec1c","resolution":{"observed_at":"2026-08-06T20:01:10.040880Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:12.044340Z","title":"Sound and complete certificates for quantitative termination analysis of probabilistic programs","venue":null,"work_id":"069602f5-dfdd-4c4c-b8bd-71600d8de395","year":2022},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:10.243341Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:c792b1923630d7bb0eb9672246db8a8d8c5b6c457d76599bd556dba755d72c60","observation_id":"91a2d021-e687-4ef3-a2dc-44ee6ae5a85c","resolution":{"observed_at":"2026-08-06T20:01:12.050054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:01:10.458258Z","title":"Stochastic invariants for probabilistic termination","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:10.458258Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:eff051a5dee59b16e0909a995bcd0704d7a7d86221b68c28f90ce7ea668dce4a","observation_id":"2099c1d0-2e3b-49ed-a1e6-7765d981bbe9","resolution":{"observed_at":"2026-08-06T20:01:10.458258Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:12.031016Z","title":"The MathSAT5 SMT Solver","venue":null,"work_id":"2fddb762-5ec1-4e20-8fab-e5c6f19a7d8b","year":2013},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:10.621281Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:85f3a027d17e449ba2c49f387b022ddfc12d40aed02e85ad07f48b44a4c3befa","observation_id":"57d90b95-aae2-483e-bad3-9452f7f8361d","resolution":{"observed_at":"2026-08-06T20:01:12.035409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:01:10.755844Z","title":"Linear invariant generation using non-linear constraint solving","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:10.755844Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:26df40fc1db00d9496b6686b2f256ff32ee6fb57936a54eeaf570e55bc19a28a","observation_id":"a54d43aa-d40b-4de6-b5f6-e3d2a8daba4d","resolution":{"observed_at":"2026-08-06T20:01:10.755844Z","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":"10.1007/3-540-45319-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Synthesis of linear ranking functions","venue":null,"work_id":"e5058baa-cd06-41d9-8b02-1cfa569d0bf1","year":2001},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:10.999710Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:6772af0acf2247cab0213a4a3f1c4ed34454c1ce6df9e9f8a041d3e19ead1d82","observation_id":"6c19e5ac-b2c6-4e75-850c-e17d20c43fd2","resolution":{"observed_at":"2026-08-06T20:01:11.378973Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:01:11.236809Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.236809Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:3499c62e521e8cd3900f4ccd5196604d63c84151ec35239b5ea1a4379b832f7c","observation_id":"48c593cd-00b5-448c-999e-487424b2b033","resolution":{"observed_at":"2026-08-06T20:01:11.236809Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:12.012386Z","title":"From spot 2.0 to spot 2.10: What’s new? In International Conference on Computer Aided Verification , pages 174--187","venue":null,"work_id":"5ecee599-2396-4798-b2cc-51b05e884c9d","year":2022},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.249994Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:0ff037faea7451ebf811a0f7758de3d5ee707d10459b259ad103166c80829b13","observation_id":"b14faead-4b8b-444f-a58e-4911ec2d05cb","resolution":{"observed_at":"2026-08-06T20:01:12.016079Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-06T20:01:11.998955Z","title":"Theorie der einfachen ungleichungen","venue":null,"work_id":"ea8b3f78-45a0-44f3-8d18-21c9d19b1b0a","year":1902},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.253695Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:057aa84845fcf0a0082aa9736b017fc945a8841b80a52a120201fdcc262d0f11","observation_id":"419668fd-9e83-4b9e-9dc4-78e9b386fcf3","resolution":{"observed_at":"2026-08-06T20:01:12.004897Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.33412","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:11.636678Z","title":"Distributional reachability for M arkov decision processes: Theory and applications","venue":null,"work_id":"96043efd-feab-4bc4-ab56-3e9d44415d52","year":2024},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.258307Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:e56ab490fcc1e4785599caffefed552aa5f9891b95543c155fd9fdcae744ce32","observation_id":"11136437-7f67-48e5-8bcf-5e7d88a387fa","resolution":{"observed_at":"2026-08-06T20:01:11.645407Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-06T20:01:11.986618Z","title":"Representing polynomials by positive linear functions on compact convex polyhedra","venue":null,"work_id":"0a162503-6285-454a-b3bc-ab9e1167f1e4","year":1988},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.262174Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:e826c1c5b42e087ae9f16f81f1fa2500c971dbd366fd38402cab3bd386cb5625","observation_id":"25198b5f-d87a-42b0-b72c-621c63989756","resolution":{"observed_at":"2026-08-06T20:01:11.990714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:01:11.266914Z","title":"Henzinger, Maria Mateescu, and Verena Wolf","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.266914Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:bf1c258503775dcc088cc0db704ca9bef19db017eea8eb0801ce3febd7d439ca","observation_id":"a42e25f2-91ec-40d1-aaa6-868eb9ce06c1","resolution":{"observed_at":"2026-08-06T20:01:11.266914Z","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":"10.1109/qest.2010.35","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:11.356761Z","title":"Reasoning about MDP s as transformers of probability distributions","venue":null,"work_id":"8ad1ec02-a4c8-4756-975d-4d86b00c1053","year":2010},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.270642Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:aada01b4be1f32fa26c7d415ceccad797c21482d02976cdedf296ecd17261fd1","observation_id":"f2c38316-5898-4df4-ada1-93b8a32df8eb","resolution":{"observed_at":"2026-08-06T20:01:11.359967Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-06T20:01:11.973914Z","title":"Kwiatkowska, Gethin Norman, and David Parker","venue":null,"work_id":"f89bfcee-a8ad-4e2f-8ffd-061512869a44","year":2011},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.274586Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:656e0185f4fb2c73abdcc49516b3865d9d6c3fdfc9c2623c3a2954fa03fd30af","observation_id":"128e03c2-c113-4b82-8251-0cab9865059e","resolution":{"observed_at":"2026-08-06T20:01:11.977580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/tse.2010.80","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:11.345144Z","title":null,"venue":null,"work_id":"d7896313-7a38-4f9c-b0fe-99e30108953f","year":2011},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.279451Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:593e44b4158ece062fa9377b921c7b968a26f86d6c85752102fa6a2cab9776df","observation_id":"4719d9a1-61e9-421f-8871-ba50b8e0712a","resolution":{"observed_at":"2026-08-06T20:01:11.348996Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-33512-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Decision problems for linear recurrence sequences","venue":null,"work_id":"60e9ad13-7aa0-45af-8dd3-48b48b26817f","year":2012},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.282905Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:87b08f0ab6143446f7a6073edcd926b06a2f5be420a776dc55de7c63df9c9b54","observation_id":"5cad7461-d48b-4779-b434-e5a6cc8b8a09","resolution":{"observed_at":"2026-08-06T20:01:11.336232Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2007.90273","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:11.568267Z","title":null,"venue":null,"work_id":"f015f202-854d-45af-9b61-a9676eb0e451","year":2007},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.286395Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:2c2363e7ab0bc2295e3be09e9e5d6b49f1716327c4ea54f5040ba6483cdfb21e","observation_id":"31fe3f09-3754-4553-8de0-fb2be8b900a4","resolution":{"observed_at":"2026-08-06T20:01:11.574987Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T20:01:11.289854Z","title":"Ranking and repulsing supermartingales for reachability in randomized programs","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.289854Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:e9543fb6862721686e63a65351291747dfb20fa15622080de49c289588c6b6e4","observation_id":"7693615d-fce2-4ef7-a54a-5f17b1b74474","resolution":{"observed_at":"2026-08-06T20:01:11.289854Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T20:01:11.958962Z","title":"Henzinger, and Krishnendu Chatterjee","venue":null,"work_id":"a9bb18f6-dd8e-4681-aa40-1ddc42ef56f5","year":2023},"citing_paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T20:01:11.293505Z"},"links":{"citing_paper":"/paper/2507.04286"},"observation_digest":"sha256:09bd51177f0223e55d9d449f41c9665fd8a2da7558ff1b1c30cb269700fb7854","observation_id":"d004ebbc-80fc-4e06-96f0-1928f5d820e1","resolution":{"observed_at":"2026-08-06T20:01:11.963940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.04286","last_updated":"2025-07-06T08:00:16Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-06T19:49:06.068358Z","submitted_at":"2025-07-06T08:00:16Z","title":"Omega-regular Verification and Control for Distributional Specifications in MDPs"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":16,"verified_exact":9,"verified_fuzzy":8},"total_outbound_references":35},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2507.04286."}