{"as_of":"2026-08-13T04:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9745075531041b5d101fe27ac8fa0f47caac1dfcf832c66fadc4883f41929b59","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-12T15:21:40.006033Z","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-12T06:34:41.77262+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/2411.14371/citation-record","integrity":"/paper/2411.14371/integrity","json":"/paper/2411.14371/citation-record.json","paper":"/paper/2411.14371"},"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-12T15:21:40.550266Z","title":"MIT Press","venue":null,"work_id":"08275125-c58d-4b07-8846-8da0395132e7","year":2008},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.916719Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:89b8e463cf38ebaeb5e36a605c08781e03ac2944c0568520c4038b08cfd5cd2d","observation_id":"bad35c4e-cc78-4e9e-8f03-f2cea47b5e3b","resolution":{"observed_at":"2026-08-12T15:21:40.554259Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-50086-3_1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:21:40.146715Z","title":"ter Beek & Axel Legay (2020): Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with UPPAAL Stratego","venue":null,"work_id":"03bd07c2-1012-43ff-a90c-6185c9d07ad0","year":2020},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.924183Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:014ade20a81125a7ebbc4afb4dee2d1498930014d141cd8d8432ca666d82c251","observation_id":"9c4198f1-9a3c-4097-9b3c-57f27ca16cac","resolution":{"observed_at":"2026-08-12T15:21:40.151420Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:21:40.538791Z","title":"Standard, DIN","venue":null,"work_id":"da414a6a-3b67-450b-aecc-3250a2d3b4cd","year":2015},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.928572Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:9ae17e12e649b95a25ba9808595717e6f173818c9512832a103c40effd711e7c","observation_id":"7ef7f9a9-dabe-4816-b9a5-9b4c5979444e","resolution":{"observed_at":"2026-08-12T15:21:40.542678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-77935-5_16","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:21:40.132292Z","title":null,"venue":null,"work_id":"92625d6c-518a-41b3-88e1-87caedff6061","year":2018},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.933267Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:5c3c5b85bd58906b137cf780fb854a3101166e98d91a0c620b433c484a67d940","observation_id":"064a4ccc-6209-43b2-ade3-b816a572bf66","resolution":{"observed_at":"2026-08-12T15:21:40.137393Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2022.10280","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:21:40.498847Z","title":null,"venue":null,"work_id":"bcc55220-2647-402d-80a2-52ee04a99047","year":2022},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.938540Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:a4897ec598bb9503219ed7e2df39532ed7042bc5a653d95f6c2038bf032d2a9a","observation_id":"64584971-ab8e-4df1-b6f2-3ac3f0dbc9a2","resolution":{"observed_at":"2026-08-12T15:21:40.506436Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2112.12758","last_updated":"2023-08-22T09:38:02Z","snapshot_observed_at":"2026-08-10T22:37:18.028956Z","submitted_at":"2021-12-23T18:24:28Z","title":"A Manifesto for Applicable Formal Methods","version":2},"cited_work":{"arxiv_id":"2112.12758","doi":null,"metadata_source":"pith","pith_arxiv_id":"2112.12758","snapshot_observed_at":"2026-08-12T15:21:40.409398Z","title":"A Manifesto for Applicable Formal Methods","venue":"cs.SE","work_id":"73e35b66-62e0-455b-a316-5076ab71eee4","year":2021},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.942675Z"},"links":{"cited_paper":"/paper/2112.12758","citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:762eb2fb0be0d499dcdb5611602b3ffc8304f7106d0fe6e9e337aa3055f07104","observation_id":"f05ba842-1f09-4064-be9a-1a46efb60348","resolution":{"observed_at":"2026-08-12T15:21:40.414792Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:21:39.950549Z","title":"Jensen, Cristina Seceleanu, Eduard Enoiu & Kristina Lundqvist (2022): Correctness- guaranteed strategy synthesis and compression for multi-agent autonomous systems","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.950549Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:22aebf3e021592eff414eae9cd1138eebe749afda921760e47324ced8982cdf0","observation_id":"eca2483a-6a8b-41cc-ab09-e595836335cc","resolution":{"observed_at":"2026-08-12T15:21:39.950549Z","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-12T15:21:40.525935Z","title":"Available at https://www.umweltbundesamt.de/sites/default/files/medien/publikation/long/3689","venue":null,"work_id":"11607ebb-df08-498a-86e2-c39a1b0f3276","year":2008},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.956721Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:b1b28707b6259f9e62e45d5e5848703c9edeb0410a2d4c3a1c1b202cb56e0c71","observation_id":"3662c167-6320-4af3-bae5-2f89b7fb977c","resolution":{"observed_at":"2026-08-12T15:21:40.531207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/icaps.v27i1.13865","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:21:40.117445Z","title":"In: Automated Planning and Scheduling (ICAPS), 27th Int","venue":null,"work_id":"fc75076f-51ce-4e91-9d47-330872cf00ec","year":2017},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.961951Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:6c5d95bec11a4d3f7d889cf5345ab2f424b04ed9e6c3ea11280cea56bf9779d8","observation_id":"cd0569ee-7054-4220-8ed9-18e980e2157f","resolution":{"observed_at":"2026-08-12T15:21:40.122874Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1287/opre.39.1.162","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:21:40.098908Z","title":"Lovejoy (1991): Computationally Feasible Bounds for Partially Observed Markov Decision Pro- cesses","venue":null,"work_id":"59dfea80-3dc8-4640-a005-f58d0172c35a","year":1991},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.967219Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:4164bf192b9bb6a8489334ad2daeb3ad18c0bf33871fccce8800233f702f1e47","observation_id":"08c0df5b-f212-4692-947e-ab7f36c8ecae","resolution":{"observed_at":"2026-08-12T15:21:40.107561Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aiide.v8i1.12510","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:21:40.079596Z","title":"In: AIIDE, The AAAI Press, pp","venue":null,"work_id":"0e700db3-b7ab-4e24-a0c7-06be039e4d16","year":2012},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.972290Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:58843ef0848f643d8c1d4fda0761425c73c464fb5afb3c48003a6221456ecca2","observation_id":"e583c493-2dd3-4a5e-a371-c0b230a23c2d","resolution":{"observed_at":"2026-08-12T15:21:40.083469Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:21:39.979112Z","title":"León (2021): An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.979112Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:eb1b499a7bc264a3adfca6d996d25fcc911b897567be79a2dd056246aa26d39b","observation_id":"9476462d-a41f-495c-9da0-4aed4b6ea006","resolution":{"observed_at":"2026-08-12T15:21:39.979112Z","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/s11241-017-9269-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:21:40.065932Z","title":"Real-Time Systems 53(3), p","venue":null,"work_id":"f239a09d-6409-4989-953d-c886289ac44c","year":2017},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.985742Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:754aba1ca7dca4acb543c999d8f79d752f3afb3f18156ff804ddf15109cae52f","observation_id":"3bff0766-d93b-4f8c-8047-ae206bb6ba41","resolution":{"observed_at":"2026-08-12T15:21:40.070491Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:21:40.514597Z","title":"Available at http: //www.prismmodelchecker.org/manual/","venue":null,"work_id":"b21540cd-8ad5-436f-8b58-3ca6f5ad12b4","year":2024},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.990461Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:094775d37c886ddb4cfb5f645bc967263b2ede52bb48aa181b1802c911cba21d","observation_id":"cca2f687-6727-4409-ad9e-354864d355a4","resolution":{"observed_at":"2026-08-12T15:21:40.518749Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-19170-1_15","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:21:40.047337Z","title":null,"venue":null,"work_id":"9d062402-8b92-475d-bdc4-04d3e696fdf6","year":2011},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:39.995098Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:910434e1ba4a9dd34f9c24dba00f515e9d7e49ab5cfe67f67bca4c4fb60f96f4","observation_id":"c1630a2b-7049-4494-894f-96b5e3fdd693","resolution":{"observed_at":"2026-08-12T15:21:40.053777Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:21:40.001617Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:40.001617Z"},"links":{"citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:45a45a8e7cfdc915b236a90a3d8f13ccc9b508d9754365b1884d40d8bff7e457","observation_id":"7f3e6b31-f440-44d9-857a-dec6c37396bd","resolution":{"observed_at":"2026-08-12T15:21:40.001617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.14040","last_updated":"2022-09-28T12:24:51Z","snapshot_observed_at":"2026-07-06T13:57:17.059498Z","submitted_at":"2022-09-28T12:24:51Z","title":"Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems","version":1},"cited_work":{"arxiv_id":"2209.14040","doi":null,"metadata_source":"pith","pith_arxiv_id":"2209.14040","snapshot_observed_at":"2026-08-12T15:21:40.165950Z","title":"Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems","venue":"cs.LO","work_id":"f06ec6df-5dfe-439e-a154-1531c489afe3","year":2022},"citing_paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:21:40.006033Z"},"links":{"cited_paper":"/paper/2209.14040","citing_paper":"/paper/2411.14371"},"observation_digest":"sha256:608dbc882c33bd83af0747229b65e8b7a6a6acbe1a8e5ce274482665cb6fe7ff","observation_id":"09d34f32-0d23-493c-b802-bdfc93962e62","resolution":{"observed_at":"2026-08-12T15:21:40.170993Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14371","last_updated":"2024-11-21T18:08:18Z","latest_version":1,"primary_category":"cs.MA","snapshot_observed_at":"2026-08-12T15:13:03.263414Z","submitted_at":"2024-11-21T18:08:18Z","title":"Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":3,"verified_exact":9,"verified_fuzzy":4},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2411.14371."}