{"as_of":"2026-08-18T16:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:100937a1a6fe58d5002c93ba81285f3bb519ca822ef635e9e848b961b897f651","coverage":[{"denominator":41,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T11:40:40.775278Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2412.15135/citation-record","integrity":"/paper/2412.15135/integrity","json":"/paper/2412.15135/citation-record.json","paper":"/paper/2412.15135"},"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-11T11:40:41.315463Z","title":null,"venue":null,"work_id":"4a4481b0-2469-47ad-8bec-2e61868d1bc5","year":2006},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.603264Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:2cd8b03f9f76f10f1e21b63d3d57e418ef77678a866c42b1f381f9b168c0aeb0","observation_id":"137d0748-dd94-4efe-943d-4c97748c3ae3","resolution":{"observed_at":"2026-08-11T11:40:41.319400Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.303793Z","title":"Information Security and Cryp- tography, Springer (2020)","venue":null,"work_id":"757b3c0e-55a3-4533-990c-a007779bb415","year":2020},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.607832Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:af78bede02e338b2883091f527235d746ef1bc243dc1a005f3de39a44a3b24e9","observation_id":"a64317e3-a9bc-4bcd-b61b-10765f8d716d","resolution":{"observed_at":"2026-08-11T11:40:41.307866Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.292563Z","title":"In: IJCAI","venue":null,"work_id":"1c81ece3-30a3-4d94-bc6e-b44cc5ef2306","year":2019},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.611921Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:df9f6955c4c3eb369bc54c13873fbc93bacfe8eecc43e4309137aa5e44950d3b","observation_id":"4b6efba1-f4bf-404f-b88f-db0b0ab32962","resolution":{"observed_at":"2026-08-11T11:40:41.296412Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.279547Z","title":"In: Dastani, M., Sichman, J.S., Alechina, N., Dignum, V","venue":null,"work_id":"cda31f07-4b0f-4de5-992c-5ce48601cf27","year":2024},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.616269Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:b6870ac0a15ca2f059f417507c04ea4b054e52e6d5615290651e57ceb248a37b","observation_id":"844357c1-308d-4309-bae8-50191171b136","resolution":{"observed_at":"2026-08-11T11:40:41.284669Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1409.1534","last_updated":"2014-09-04T19:00:00Z","snapshot_observed_at":"2026-08-14T23:20:43.346615Z","submitted_at":"2014-09-04T19:00:00Z","title":"Algorithms in Real Algebraic Geometry: A Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1409.1534","snapshot_observed_at":"2026-08-11T11:40:40.620224Z","title":"CoRR abs/1409.1534 (2014), http://arxiv.org/abs/1409.1534","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.620224Z"},"links":{"cited_paper":"/paper/1409.1534","citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:ab648c011a05a0caa293653ec877989ac77674afcb23215210205b78a82b62f2","observation_id":"1acf4ddc-11e0-43f5-bdc8-bee6e1b84aee","resolution":{"observed_at":"2026-08-11T11:40:40.620224Z","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-11T11:40:41.267732Z","title":"In: AAMAS","venue":null,"work_id":"e88a7a52-09e7-4784-979c-bfb15808c8d9","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.624750Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:8dce002c1cd6f4c49ea6d2119b538d07eeffea989cad104b3b43b9a8102a67a6","observation_id":"6fe21b11-cdb1-4d2f-8e59-58a11f0d176a","resolution":{"observed_at":"2026-08-11T11:40:41.271656Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.256088Z","title":"Artificial Intelligence 285, 103302 (2020)","venue":null,"work_id":"c81ce2da-6a03-443e-86f3-c4cebc529c34","year":2020},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.628893Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:f75b9412c3e5efb96d0ae44279213d0c1f81e3c0130d194f21bec52df7e8e435","observation_id":"fa74211e-66d4-4797-9249-d5cd63bf02fc","resolution":{"observed_at":"2026-08-11T11:40:41.260219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.245151Z","title":"ACM Trans","venue":null,"work_id":"977ee8b8-975a-4559-ba8e-271262f90215","year":2021},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.633059Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:c4e21435bece506ee4da4925bdfaf64f27a4290e490841b265d6fd148af2a049","observation_id":"f990f153-4634-4644-ba56-ce5ba70145df","resolution":{"observed_at":"2026-08-11T11:40:41.248905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.233634Z","title":"In: Sankaranarayanan, S., Sharygina, N","venue":null,"work_id":"6e0193bf-c104-4deb-9d45-c4387639af68","year":2023},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.636617Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:d0978b7d83f38d9cfdd1778487d414052b4b63966a1acc2cc09145bfd642761d","observation_id":"c6cc4582-a41e-487c-b85d-584eaf1a1f2f","resolution":{"observed_at":"2026-08-11T11:40:41.237706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.221762Z","title":"In: LICS","venue":null,"work_id":"6e540440-2944-411d-9a14-d5e3144a5256","year":2006},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.640480Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:910b263e403b22a928597cd01f1380cb05e1cf3da3dae47f175ce5953c52b552","observation_id":"98d4e6a8-f060-4c0f-8bde-b5822c989fc7","resolution":{"observed_at":"2026-08-11T11:40:41.225489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.210668Z","title":"In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S.A","venue":null,"work_id":"15564aaa-6a92-45fa-b192-a5eb7514a54a","year":2005},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.650832Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:963c57db8d43775ec82d6a27d9f5dff0d33b4bd47b8a0a2edae9d67b99194cd3","observation_id":"6bc80ff7-3ff3-4810-8d91-d6115f251afc","resolution":{"observed_at":"2026-08-11T11:40:41.214551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.198365Z","title":null,"venue":null,"work_id":"0aa2df65-1c41-4540-819e-81206c116235","year":2010},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.654719Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:55ed00ca9ab4ee7b923a5f265fe683edbe3d918c52c6d7a420d56d16af962ae7","observation_id":"3df807cd-73d0-45b1-90ae-0724aed66f3c","resolution":{"observed_at":"2026-08-11T11:40:41.203088Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.185873Z","title":"In: Lei, J","venue":null,"work_id":"503e9ca3-d4f6-4b75-a70a-5e4e8564edaa","year":2007},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.658499Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:fefcfefc5e0f4775a7d6e66c4148765b37878461cc8c35d814a52e034fc757ce","observation_id":"bdd6103d-4331-4bfa-82d1-7f09a3f52c50","resolution":{"observed_at":"2026-08-11T11:40:41.190322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.173321Z","title":"In: AAMAS","venue":null,"work_id":"ad613c41-4aa0-4dce-9486-1f8fe31000ef","year":2023},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.661946Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:e20fe8cb6f4d25710640411c3140c4496ddeb2da49ea9324eede090a7c72e3dc","observation_id":"5f8afdcc-4d5c-41b4-9c86-ecca5dda2f15","resolution":{"observed_at":"2026-08-11T11:40:41.177756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.159526Z","title":null,"venue":null,"work_id":"d8fc84ee-7751-4bc7-9f14-cc562169eced","year":2004},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.665549Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:b728a7cbedc95fe18ca55fc6c4d07849e7fd3d1c8925154899feecc6e54c9446","observation_id":"20322465-92d4-45d9-a07a-3b39693d21bb","resolution":{"observed_at":"2026-08-11T11:40:41.163739Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.148853Z","title":"In: AAAI","venue":null,"work_id":"76f9f262-49b8-42f4-b832-62807e8dd57d","year":2012},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.669192Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:253cf919b37f327f58b2416bee4e51c4b738f2b7a44550858f3b6b67f1a354a9","observation_id":"a307bd2a-0f3e-47a8-ae5c-42ccfdb72bbd","resolution":{"observed_at":"2026-08-11T11:40:41.152681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.137721Z","title":null,"venue":null,"work_id":"1a763cb5-765c-4421-8f72-5c2c1922abaa","year":2019},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.673098Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:71866dff84a65dd93d7770f4bf46c7e03419a04f821a8929ebc311c297a735b7","observation_id":"7f002890-49eb-415c-9d69-e43f27d72682","resolution":{"observed_at":"2026-08-11T11:40:41.141726Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.125692Z","title":"International Journal on Software Tools for Technology Transfer 19(1), 9–30 (2017)","venue":null,"work_id":"9b7fdbfb-9fb4-4fad-ba68-7ec9aae0114c","year":2017},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.676770Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:732e8e2a8c9ef639d833ee90c74d0c16a2c87ef06c3ce92b1c3af6ed93a329f7","observation_id":"4dd5c0d9-fbbf-4b8e-8539-1dcbaeb8de35","resolution":{"observed_at":"2026-08-11T11:40:41.129994Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.114189Z","title":"In: Larson, K., Winikoff, M., Das, S., Durfee, E.H","venue":null,"work_id":"9b980f52-0596-4ea2-a4ce-8da96dbec5f4","year":2017},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.680834Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:74d0f16f0b78b8066b0561a556f0bdd163cea24a0c5aad2db9c4759b72c7eff6","observation_id":"1d236543-3eac-4e24-b78f-4160406a4bf8","resolution":{"observed_at":"2026-08-11T11:40:41.118432Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.102246Z","title":"In: ECAI","venue":null,"work_id":"905d3581-5384-40e6-ae8b-ec1791a0e6ec","year":2023},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.684983Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:11a992131427440d1215578d31052e68b907ac2d7d4539423a694248d701f804","observation_id":"10bb9f61-838c-4b58-944b-13bddee6c84d","resolution":{"observed_at":"2026-08-11T11:40:41.106248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.087704Z","title":"preliminaries","venue":null,"work_id":"02915e2c-8f0e-4468-a9a9-036efb4aefac","year":1992},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.688738Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:0717bef3bf701eb2905d316b729a8c56049512b4959d8e4ec80bc0e723d5ccd6","observation_id":"a80fb00a-61e0-4bdd-b4fe-0b44281dd14f","resolution":{"observed_at":"2026-08-11T11:40:41.093398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.075685Z","title":"In: van der Hoek, W., Lomuscio, A., de Vink, E.P., Wooldridge, M.J","venue":null,"work_id":"4e572600-1730-4008-9277-a6c1a73f5255","year":2003},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.693111Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:84f188427b583880e3608a2acfc63458ac7c73720445dcc3b179e2046254dfc5","observation_id":"4d12659e-9ea6-4f2d-ad7d-7cc5eaa05de3","resolution":{"observed_at":"2026-08-11T11:40:41.080068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.064379Z","title":null,"venue":null,"work_id":"ada293bf-cf34-4938-8c1e-2f29b2bf6f3e","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.697596Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:09db6e517ea2e60b89dd3d4ade5780a5e47508c460cf898a067526fc53275315","observation_id":"989c9e13-735b-45bb-add0-9bf4d5c61659","resolution":{"observed_at":"2026-08-11T11:40:41.068266Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.052905Z","title":null,"venue":null,"work_id":"3a9346c9-3d0f-40c5-9503-3d8f60576aa8","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.702088Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:29a4282afb643d43e2434c2d29656347b02b569ab9471b3b080ae8f0c3cafdcb","observation_id":"e8f9d98d-f1a9-4625-961b-b86f2d5a18c0","resolution":{"observed_at":"2026-08-11T11:40:41.056804Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.040084Z","title":null,"venue":null,"work_id":"c2a8a776-af0d-4bde-8a7e-20a5f7ba5fa9","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.706354Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:de9b813291c9ca770b3b5637a5f701ccdfa496f94b17dcba4c8a1c60b7677eee","observation_id":"fa034bda-9a06-4268-ac1f-1bb8faa7c042","resolution":{"observed_at":"2026-08-11T11:40:41.044766Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.027059Z","title":"For the first path, we keep track of the corresponding state of AΦ; for the second, we keep track of A¬Φ","venue":null,"work_id":"e5781c58-7b49-4ea3-be43-2ca22b312b46","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.710853Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:fa567696c3ff5c4ef473fcbc862f0f166f346b88c461ac4f07bec1d1d312d48e","observation_id":"69cfd3d6-9a18-4bf1-bd2d-a22e2af79575","resolution":{"observed_at":"2026-08-11T11:40:41.031508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.014292Z","title":null,"venue":null,"work_id":"c5a34b5d-20a2-4cd4-9b79-c7c2e94c5a76","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.715030Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:a3ea633c37b2759f90f8a28152a5318d7d6bc01c16c5f93fb1c66f3b1219ce83","observation_id":"f70cb0e1-06bd-4775-b0ae-6790475f9203","resolution":{"observed_at":"2026-08-11T11:40:41.018280Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:41.000415Z","title":"So we need to be able to express reachability","venue":null,"work_id":"eaa424bc-f614-4529-813a-0c2bf2daee34","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.719616Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:5a9031765a0800aec24ebff72abf1b1e779a4db9910e4ab3a94f20d0bba49b98","observation_id":"10f5b69e-9983-44fd-a8b9-c4af312b1b62","resolution":{"observed_at":"2026-08-11T11:40:41.004937Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.985785Z","title":null,"venue":null,"work_id":"c28bf77f-2d35-470c-b7c7-d690d66672db","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.724617Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:1305789486ba3e0dc2134a767ec0d48006eae4d69f9036fe55ebf49145342c4f","observation_id":"31fb418d-6a4c-45f7-8427-53bd7415879a","resolution":{"observed_at":"2026-08-11T11:40:40.990043Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.973126Z","title":null,"venue":null,"work_id":"1502179a-bba2-41c3-8cbb-2aec9693805e","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.728691Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:aa75ba002e44fcac24cd3598019adc61464226e78e6e6d5e10f6008c31a80358","observation_id":"6ce772cb-622a-42cd-8cab-0ec59c25cd96","resolution":{"observed_at":"2026-08-11T11:40:40.977289Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.960616Z","title":"The set F NBA obsi¬Φ of accepting states is defined as F NBA obsi¬Φ := S × S × F¬Φ","venue":null,"work_id":"fcddbae9-07ba-4b87-ac12-76cf9615c927","year":2002},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.732968Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:83e6e9233dd08ae7dbde25aceec9ed020c2e77a4d0069f68885f660902b3484a","observation_id":"e6c2d434-6f56-45c6-af99-6fae563b288f","resolution":{"observed_at":"2026-08-11T11:40:40.964920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.947798Z","title":null,"venue":null,"work_id":"e1080315-cfc6-4f80-ba42-ad1f08ba329c","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.741379Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:8ac5a72788469707b5be5cf1aa5267f247d3bab3c2469d23814a5d200b31f1ec","observation_id":"43941722-731d-4c01-8fad-5c34ce99620e","resolution":{"observed_at":"2026-08-11T11:40:40.951846Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.934256Z","title":"The DRA ADRA obsi¬Φ = ( QDRA, δDRA, qDRA ∗ , AccDRA) is defined as follows","venue":null,"work_id":"a273b9e7-b62d-405d-991c-b0ed79a28b1a","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.745557Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:f6e5250c9b4c2a06734d4d17de9bbf72b006aea1d6c26ead1654f4be969917dc","observation_id":"7c5d3f54-f8b6-44c6-a157-07a3c064ca35","resolution":{"observed_at":"2026-08-11T11:40:40.938961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.921709Z","title":null,"venue":null,"work_id":"0f81e610-176b-44e7-b302-2cc7a4ab9c5c","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.749386Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:0b3a7dd92223f4c14041157c9dd504e546c343bdd148b467ffe4ad3773201d4b","observation_id":"189cdb65-7e7d-4201-8667-3729423e9c73","resolution":{"observed_at":"2026-08-11T11:40:40.926109Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.909183Z","title":"The macrostate of w is set to be K ∩ F NBA obsi¬Φ","venue":null,"work_id":"c897f3e4-a424-476d-be7e-fcf6891f865d","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.753602Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:429ecd156e9fff89cbfa61573755c16637d41ca1186f3659ff4c023f6a674400","observation_id":"6133ac8f-195e-4807-bb6d-45a91e6355ec","resolution":{"observed_at":"2026-08-11T11:40:40.913317Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.896190Z","title":null,"venue":null,"work_id":"a4ca3408-2380-4ea3-9e35-57a158016ec5","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.757423Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:b5701620a5650b7da05d1dd51b5abe77df0a83b81bb9b3e959323456c6743b04","observation_id":"911d98df-da86-45c0-ac66-1356125fa680","resolution":{"observed_at":"2026-08-11T11:40:40.900064Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.882441Z","title":null,"venue":null,"work_id":"5ea22cc4-8bff-4620-a163-9ffb49155356","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.761915Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:186ebec111ff6a859f5ab6e28215410a23c02eb311bc377c6355597150b9950d","observation_id":"d083adae-c30a-4888-944c-46b1032473e6","resolution":{"observed_at":"2026-08-11T11:40:40.887111Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.867464Z","title":null,"venue":null,"work_id":"decc3c75-864d-42b6-99b0-e722d5109b0e","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.766028Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:aa20bf287b11630a5ae4ca8cc2452e955f5821bd62b5ab3f788a9e1272f6fd98","observation_id":"d0907e55-b7bd-43c9-baad-f5ff56205a0d","resolution":{"observed_at":"2026-08-11T11:40:40.872286Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.854318Z","title":null,"venue":null,"work_id":"5d1eae4a-bf63-4c7c-bdf9-ca977395f84a","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.770814Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:cd20ba0696b969c198cac6126c59db4bbd8f7ca0232f236fc337941e3d7e6c19","observation_id":"a47105a2-a54a-4f8c-896e-592495be7a94","resolution":{"observed_at":"2026-08-11T11:40:40.858297Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-11T11:40:40.840690Z","title":"Algorithms in Real Algebraic Geometry","venue":null,"work_id":"7fa5269d-576d-4088-b63e-836c3299f310","year":2006},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.775278Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:828411f7890a51f04d7cd89a1ef031311827b34bccf3aa6c3bb89efc616f49cb","observation_id":"44f0bc28-b3ea-4ca9-a64c-51ec309414e2","resolution":{"observed_at":"2026-08-11T11:40:40.845787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-36387-4_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"https://doi.org/10.1007/3-540-36387-4_3 Probabilistic Strategy Logic with Degrees of Observability 27 is twice as many symbols as the amount of states in our NBA)","venue":"Lecture notes in computer science","work_id":"5c35d8b2-9005-4ae1-9a0a-d5876c729503","year":null},"citing_paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability","version":3},"reference_index":2500,"source":"pdf_text","source_observed_at":"2026-08-11T11:40:40.737172Z"},"links":{"citing_paper":"/paper/2412.15135"},"observation_digest":"sha256:35bd1adfa635c6b6568ce951e6306bec910d99e3497a9a9882ed753ecb523ce1","observation_id":"1b1a7085-a920-4485-82b3-9bc9607ec991","resolution":{"observed_at":"2026-08-11T11:40:40.814664Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.15135","last_updated":"2025-01-06T03:35:50Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-11T17:15:10.850495Z","submitted_at":"2024-12-19T18:17:04Z","title":"Probabilistic Strategy Logic with Degrees of Observability"},"reference_resolution":{"displayed":41,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":1,"verified_fuzzy":23},"total_outbound_references":41},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2412.15135."}