{"as_of":"2026-08-08T09:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5ece261f224a9fdb8e476210c66a1196798c23e61259902160b5de4479c21982","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:35:31.189124Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"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/2506.07802/citation-record","integrity":"/paper/2506.07802/integrity","json":"/paper/2506.07802/citation-record.json","paper":"/paper/2506.07802"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:35:31.126932Z","title":null,"venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.126932Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:cebdcddd0bdbffbe246708a74882ee24f9bff3a93d61552e253b0f0f83a56e60","observation_id":"be37b0c0-5a81-4c0a-ad3f-27e11e92c5f3","resolution":{"observed_at":"2026-08-07T05:35:31.126932Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:35:31.155128Z","title":"doi:10.1007/978-3-540-7","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.155128Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:32bfd06e1e52fddb9e3ebc0430781861557e23f6cc12925b32fd05cbf7c3ab95","observation_id":"c92b8852-d90f-4fc6-9c8b-fd4d74aafb0d","resolution":{"observed_at":"2026-08-07T05:35:31.155128Z","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":"9811.32118","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:35:31.409130Z","title":null,"venue":null,"work_id":"b9ecce08-4552-4653-8c26-57f3442db11a","year":null},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.170030Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:ecb3590f5d3a1f765f4fb95958d85f6a61a0f61cf76d3a9626983b1d7bb857aa","observation_id":"a8ffc1c8-27d5-47e4-a30b-8ce839b4018b","resolution":{"observed_at":"2026-08-07T05:35:31.414179Z","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":"10.1007/978-3-031-32157-3_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"doi:10.1007/978-3-031-32157-3_9","venue":"Lecture notes in computer science","work_id":"ce90f2df-bd2c-417e-b42d-18ca282f74c4","year":null},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.185591Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:4319c04308c09e902d45168bf14238668526d5b904dcbdde25f2fe22583cfcca","observation_id":"caef5030-8645-46ff-9a04-0cfb1d41a607","resolution":{"observed_at":"2026-08-07T05:35:31.235667Z","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-07T05:35:31.131255Z","title":"3 Rajeev Alur","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":1993,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.131255Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:46b24a0fe087ebf9be9ef9ac9d7c30e5f0020eb83e85d54ad3981015f30862d8","observation_id":"7e1384f8-8dab-4060-8730-81d477e1ec96","resolution":{"observed_at":"2026-08-07T05:35:31.131255Z","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-59042-0_76","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"27 Mark (Mohammad) Tehranipoor, Ujjwal Guin, and Domenic Forte","venue":"Lecture notes in computer science","work_id":"2c216c44-fa86-494c-b066-63602586e190","year":2015},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":1995,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.189124Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:3356de189603dd1f63d12be95513b42e01ab7387273d673dd5828607d2569b53","observation_id":"a2b1bc82-154f-434a-ac2a-55043fc6e1eb","resolution":{"observed_at":"2026-08-07T05:35:31.223295Z","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-07T05:35:31.707985Z","title":"8 Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, and Kim G","venue":null,"work_id":"87aaa475-6c9e-4bce-aec7-acd094925450","year":1998},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":1998,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.147391Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:7535b7d0ac923d169ba6a3976c2f7c105b729d72291674ab5b711c059935a8ff","observation_id":"250009ae-1bd5-401f-8348-3f573a58409e","resolution":{"observed_at":"2026-08-07T05:35:31.711964Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-07T05:35:31.135149Z","title":"doi:10.1007/3-540-48683-6_3","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":1999,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.135149Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:c9e175eb293fd88c70a4ac4aa4a810f5a7b0c61bbf6817e6c2f0892eb8398be9","observation_id":"1c5bf932-20ba-4e30-a084-feb8c5cb9942","resolution":{"observed_at":"2026-08-07T05:35:31.135149Z","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-44685-0_36","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"16 Anne Edmundson, Roya Ensafi, Nick Feamster, and Jennifer Rexford","venue":"Lecture notes in computer science","work_id":"4ed4a0ae-b19c-49db-8cd0-f18300d63713","year":null},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.166344Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:6e13abd4dd6016f891ef31ac207c93e82790b5693d854fc86751f7761b6994ea","observation_id":"a9128588-decc-4d86-90fd-c02e7597717a","resolution":{"observed_at":"2026-08-07T05:35:31.284292Z","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/3-540-36577-x_18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"9 Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G","venue":"Lecture notes in computer science","work_id":"8e9bd187-e63a-4222-9ffa-458883fa608a","year":null},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.151246Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:59285ef95324c4d66b4520de7eaca57eafaacfb011cdc32d34f0cf95e73b7c85","observation_id":"51ec543a-75bc-4a98-a0bc-cb24312c91e2","resolution":{"observed_at":"2026-08-07T05:35:31.319951Z","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/11539452_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"14 Edmund M","venue":"Lecture notes in computer science","work_id":"dc10700b-9f93-4b15-9fb1-18f4363d40c6","year":null},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":2005,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.159233Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:1ec9b90d68dbe59b6c59703a52f02834746515cda8305f89696c7404d0cc8dea","observation_id":"8069dee4-6fb9-442a-919d-ec5b0ff7e6d6","resolution":{"observed_at":"2026-08-07T05:35:31.303105Z","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-07T05:35:31.719116Z","title":"Choffnes, Ítalo F","venue":null,"work_id":"2bade34b-4993-4fee-9948-2b3a7cd55f3f","year":2015},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.139068Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:04acca3601e303a295aaa424492e275f5c32a4cbf6f7b4ba2e59d81a1272da02","observation_id":"b115fe8a-82f9-4529-b0d3-21f7e82df991","resolution":{"observed_at":"2026-08-07T05:35:31.722738Z","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":"5675.28157","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:35:31.477338Z","title":"7 Eugene Asarin, Oded Maler, Amir Pnueli, and Joseph Sifakis","venue":null,"work_id":"c64cc748-115d-416d-ad7b-c83dbbb7e621","year":null},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.143378Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:685b68c0096048e7b12b16c4fa3dc43f2d045c10c4573a69f87f32ef16da5164","observation_id":"7e9407f9-7742-4771-b079-050444bb66a1","resolution":{"observed_at":"2026-08-07T05:35:31.482384Z","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-07T05:35:31.162789Z","title":"15 Luca de Alfaro, Thomas A","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.162789Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:61e47c8063b5d9190ae277969f7f955b5a40cc4f1fa4eb5ca210f48545da50b0","observation_id":"0b8d882a-44ba-4961-ac4b-42d6ec11031c","resolution":{"observed_at":"2026-08-07T05:35:31.162789Z","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/s10009-021-00638-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:35:31.267814Z","title":null,"venue":null,"work_id":"4ba14431-110b-4e9f-9715-6ab96affc64d","year":null},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.173686Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:e26b94669725f2bc38606fd3e046f71dda1a4b3aeccd2d89384776823eb50a03","observation_id":"c3336b12-eb23-4845-a328-d8f3f971f79d","resolution":{"observed_at":"2026-08-07T05:35:31.271928Z","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-981-99-7584-6_6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:35:31.256177Z","title":"doi:10.1007/978-981-99-7584-6_6","venue":null,"work_id":"5203e97e-ce5d-4ef5-a9a2-a47e23a3f4cf","year":null},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.177671Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:8c71c7820d53493175d039022249ca5b67907c3e427e8343ba344eb3ebdb8834","observation_id":"598bab6a-fe67-4514-9686-5dbee6d6dd8e","resolution":{"observed_at":"2026-08-07T05:35:31.260269Z","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-031-90643-5_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"4f47431f-00ec-4af0-9502-768ee9ebacf6","year":null},"citing_paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-07T05:35:31.181850Z"},"links":{"citing_paper":"/paper/2506.07802"},"observation_digest":"sha256:bcbf7ca0f34b1b75293adaab6d1c7dcdced2212d6f0300bd3a18e18821b0eac5","observation_id":"3b0de46a-c40e-42be-92c3-b5e086517511","resolution":{"observed_at":"2026-08-07T05:35:31.247995Z","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"}}],"paper":{"arxiv_id":"2506.07802","last_updated":"2025-06-09T14:32:03Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T10:32:36.876610Z","submitted_at":"2025-06-09T14:32:03Z","title":"On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":2,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":4,"verified_exact":8,"verified_fuzzy":1},"total_outbound_references":17},"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 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2506.07802."}