{"as_of":"2026-08-23T18:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c6cfa155d16027cfe14afbe8efdf9e58cd86fff481dfa6265a98a9421b05e2c4","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T04:35:08.392080Z","state":"measured"},{"denominator":13,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":13,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+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/2505.13460/citation-record","integrity":"/paper/2505.13460/integrity","json":"/paper/2505.13460/citation-record.json","paper":"/paper/2505.13460"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:35:08.334143Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.334143Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:f9258a3cc578c99cd6dfde1c6731e0cd24558608dfe187b22f7e21273a342f1d","observation_id":"399dc217-c5ed-4e5c-9107-f9a93857541c","resolution":{"observed_at":"2026-08-16T04:35:08.334143Z","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.4230/lipics.fsttcs.2019.31","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:35:08.454757Z","title":"C oncurrent P arameterized G ames","venue":null,"work_id":"57702427-09f1-475a-afda-5a751418aeef","year":2019},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.339777Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:e3a3f6d6667403b3809f19590e6136480d95c2496c011a22e6cf5f0b7312f6f4","observation_id":"fbf2fc30-259c-4ef3-8446-0bbee389e4ae","resolution":{"observed_at":"2026-08-16T04:35:08.460806Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-16T04:35:08.649512Z","title":"Antichain-based qbf solving","venue":null,"work_id":"c5510379-3f70-4906-8900-84a4da8d8b53","year":null},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.344510Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:fead4a8e01d18f8eb4035a0061aa855e613b9346160fd3bc0e65ab7a9f3934c0","observation_id":"ea28ad91-ad95-4483-b6d9-1e3ebc177103","resolution":{"observed_at":"2026-08-16T04:35:08.654213Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-16T04:35:08.349256Z","title":"P \\' e rez","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.349256Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:5a764b227e05271f5e83f772e3a921db833d38b4ffc7eb957378a83b1b2eff45","observation_id":"c0f5c199-5295-47fa-8c6a-86315b11d1a1","resolution":{"observed_at":"2026-08-16T04:35:08.349256Z","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-16T04:35:08.635476Z","title":"Henzinger, and Jean-François Raskin","venue":null,"work_id":"3cf5105b-99ff-4bf2-841c-b5e8c7e45b50","year":2006},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.355146Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:3df359b551a148c8770ad3f9e8adf6575d6e631290e367b2ab32bf2fb80fac49","observation_id":"ad9a8f05-f237-4f36-b6de-3d0c19156553","resolution":{"observed_at":"2026-08-16T04:35:08.640045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-16T04:35:08.619623Z","title":"A lattice theory for solving games of imperfect information","venue":null,"work_id":"feca5740-52b9-41f4-8c12-718a7d5f8d6b","year":2006},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.359721Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:1ea213790b6838373ea43d43c78183a9089796e64d5618c43da2d07dba9318e4","observation_id":"44749cd8-bbd4-41bb-8fef-245eb6814342","resolution":{"observed_at":"2026-08-16T04:35:08.624839Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-16T04:35:08.603496Z","title":"Antichains for the automata-based approach to model-checking","venue":null,"work_id":"baf97f4e-8cfc-4bdd-a55a-c80ab7a2c10b","year":2009},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.364592Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:1b77642580e6d953916488305893209581099e1164675fcfb6b1b8961ee43b18","observation_id":"b27d15b3-95fc-4eee-be8c-4422793a1794","resolution":{"observed_at":"2026-08-16T04:35:08.609046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-16T04:35:08.589219Z","title":"Antichains algorithms for finite automata","venue":null,"work_id":"7b9f3490-ce95-4295-90a4-be16ebf2e953","year":2010},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.369671Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:dd168703a7b80c0732c66a795d89fd31141c05315f4da1573a3d96b1135ffd53","observation_id":"7d96a074-90dd-443b-9a67-8b93cfc3f42a","resolution":{"observed_at":"2026-08-16T04:35:08.593304Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-16T04:35:08.373931Z","title":"Keeping a crowd safe: On the complexity of parameterized verification (invited talk)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.373931Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:1f6246a6b8580da1290c3f804343e392f489ad6a564063ce060df127d74741f8","observation_id":"a661dda4-7457-47bf-918a-304af6c494a2","resolution":{"observed_at":"2026-08-16T04:35:08.373931Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.10546","last_updated":"2025-07-29T12:45:59Z","snapshot_observed_at":"2026-08-21T23:22:04.387124Z","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-16T04:35:08.378376Z","title":"Games on Graphs","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.378376Z"},"links":{"cited_paper":"/paper/2305.10546","citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:a4c8f1ed0e49117b017f2f373ebeef67e791c2fb03f3ff271519967c3db349b7","observation_id":"6ad20810-77da-42eb-8333-3dcdfbc6f79b","resolution":{"observed_at":"2026-08-16T04:35:08.378376Z","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-16T04:35:08.574883Z","title":"An antichain algorithm for LTL realizability","venue":null,"work_id":"948beb85-f63f-420d-b098-096850f2d66f","year":2009},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.383479Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:fdb75da2f623f170bb1fb2904ae225458abe641a878382132298243f5a09cdc8","observation_id":"30053376-cac6-4ee0-b9b6-3fe9538d7023","resolution":{"observed_at":"2026-08-16T04:35:08.579089Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6637.14668","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:35:08.540209Z","title":"German and A","venue":null,"work_id":"40cef046-a1bc-4713-b442-703b44c8ec8f","year":1992},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.387648Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:6a161f86d2472b051571b48b9d5e772c5b02eda1247e531230d8a460a9b0c8a8","observation_id":"1609869c-3bbd-42ab-86b3-020cb6247350","resolution":{"observed_at":"2026-08-16T04:35:08.548705Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-16T04:35:08.559271Z","title":"Antichains: alternative algorithms for LTL satisfiability and model-checking","venue":null,"work_id":"254d054f-8454-4585-a467-553075697584","year":2008},"citing_paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-16T04:35:08.392080Z"},"links":{"citing_paper":"/paper/2505.13460"},"observation_digest":"sha256:d39ba3e4f93e5574e8f462eb633dcdcdaad89efdae3e5a5b1216dba54e62d9e9","observation_id":"8bca7638-e45d-4f71-9221-50b3c28e6594","resolution":{"observed_at":"2026-08-16T04:35:08.564687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.13460","last_updated":"2026-06-22T13:31:59Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-18T15:57:52.571657Z","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":4,"verified_exact":1,"verified_fuzzy":7},"total_outbound_references":13},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 0 inbound Pith citation observations for arXiv:2505.13460."}