{"as_of":"2026-08-10T08:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:70ee7ed83da63ed0c73d36aa4180b1c967e3e857242a48a1c6218ab3cc50ad40","coverage":[{"denominator":4,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T18:32:27.453757Z","state":"measured"},{"denominator":5,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":5,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T03:14:33.417934Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","version":1},"cited_work":{"arxiv_id":"2508.14725","doi":"10.48550/arxiv.2508.14725","metadata_source":"arxiv_reference","pith_arxiv_id":"2508.14725","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume =","venue":"ArXiv.org","work_id":"5acaa862-8f91-4d49-a148-e7ef5e7219d2","year":2025},"citing_paper":{"arxiv_id":"2604.18532","last_updated":"2026-04-20T17:27:28Z","snapshot_observed_at":"2026-08-03T14:04:20.611770Z","submitted_at":"2026-04-20T17:27:28Z","title":"Symbolic Synthesis for LTLf+ Obligations","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-05-10T03:14:33.417934Z"},"links":{"cited_paper":"/paper/2508.14725","citing_paper":"/paper/2604.18532"},"observation_digest":"sha256:ce6bb8925c4398980620a14a758d14be3630db0a0b316d87ee27c2030491dfc9","observation_id":"f2862af1-d252-4612-8a2f-4d15a7b51509","resolution":{"observed_at":"2026-05-10T03:24:14.802334Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2508.14725/citation-record","integrity":"/paper/2508.14725/integrity","json":"/paper/2508.14725/citation-record.json","paper":"/paper/2508.14725"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T18:32:27.665028Z","title":null,"venue":null,"work_id":"35507dd5-e21d-4c7c-9696-c1851520c6cd","year":2021},"citing_paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","version":1},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-05T18:32:27.315476Z"},"links":{"citing_paper":"/paper/2508.14725"},"observation_digest":"sha256:7888bc77032d142201891367f88b4497bec0642c04d48e1750d439c9764ebcc6","observation_id":"08fe54b8-0d80-49f5-bffb-57f934131e7e","resolution":{"observed_at":"2026-08-05T18:32:27.729062Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.10546","last_updated":"2025-07-29T12:45:59Z","snapshot_observed_at":"2026-08-05T07:01:00.392387Z","submitted_at":"2023-05-17T20:06:14Z","title":"Games on Graphs: From Logic and Automata to Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.10546","snapshot_observed_at":"2026-08-05T18:32:27.453757Z","title":"Preliminaries","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-05T18:32:27.453757Z"},"links":{"cited_paper":"/paper/2305.10546","citing_paper":"/paper/2508.14725"},"observation_digest":"sha256:afb95c3293cb86c2b905d2774d0519a08bd11a459144a09aeee329c04d50eabd","observation_id":"6c595047-8395-4473-82b1-cdd5852bec31","resolution":{"observed_at":"2026-08-05T18:32:27.453757Z","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-05T18:32:27.571194Z","title":"In IJCAI","venue":null,"work_id":"3f80f735-e18e-4f1a-8ba7-94d9b7bf5e82","year":2022},"citing_paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-05T18:32:27.375864Z"},"links":{"citing_paper":"/paper/2508.14725"},"observation_digest":"sha256:280b9b04cadf300f4d12d85ae6ec6f7f656b7bb81e32a05ef753e3c5502d1b7d","observation_id":"daa3e5e4-908f-4d2b-b7ee-70549faa2ad5","resolution":{"observed_at":"2026-08-05T18:32:27.615837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T18:32:27.809990Z","title":null,"venue":null,"work_id":"3c0bc55b-4cbb-4430-ae57-af434ee06ec9","year":1992},"citing_paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-05T18:32:27.253816Z"},"links":{"citing_paper":"/paper/2508.14725"},"observation_digest":"sha256:b02b0e29b50be5fa0b5fdb7f92178dfe0a6355d1d67d5eabe5b2abfa098ea1ed","observation_id":"a0f528e6-552c-493a-9693-9f0d1316b3d6","resolution":{"observed_at":"2026-08-05T18:32:27.887054Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.14725","last_updated":"2025-08-20T14:07:43Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-05T18:32:25.863148Z","submitted_at":"2025-08-20T14:07:43Z","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis"},"reference_resolution":{"displayed":4,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":1},"total_outbound_references":4},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 4 of 4 outbound references and 1 inbound Pith citation observation for arXiv:2508.14725."}