{"as_of":"2026-08-11T04:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2686985527d6cb2629978cfa3146c0f49a36e93e1075cea72e8ab22a61e67271","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-13T18:40:30.767489Z","state":"measured"},{"denominator":25,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":25,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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/2603.24747/citation-record","integrity":"/paper/2603.24747/integrity","json":"/paper/2603.24747/citation-record.json","paper":"/paper/2603.24747"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Consensus and coop- eration in networked multi-agent systems,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:91cf19bb2a4416e133e3f04d8b1716f9d8e155b7b888f76a607142a58121b1fa","observation_id":"03fcacc3-fbce-4bbc-95bb-c5bb58532d54","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"An overview of recent progress in the study of distributed multi-agent coordination,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:75061a0b2fe54a05cec54a9ad904d3b6833c01f4da5a3db1f3403d2d5571e7f9","observation_id":"9cc52265-f682-4750-ad23-c152495be772","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Time, clocks, and the ordering of events in a distributed system,","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:1a78163014b5c3574abba5416095aa523cb6a74ebf2ad749a66417453828bd50","observation_id":"d098a1d6-05bf-4b98-956d-5720fc612a34","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"A general framework for multiple vehicle time-coordinated path following control,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:3135759e36140557e037833fede5f3f0cf4a6c6c3e5d4f5bf0820728bbf4c1ac","observation_id":"d15648dd-13bb-46ab-9118-38e74333514f","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Available: https://ieeexplore.ieee.org/abstract/document/ 5160564","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:1f50970ed374c79062245def00f2edd302dc70567375ea97bded700b8f220a8f","observation_id":"d59bb7fa-bc18-4f4e-9c2f-23979e443554","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Cooperative path following of multiple multirotors over time-varying networks,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:9568eb91fd3549cca2ee77ee7af864bc6789aa6112f584e32b48cb359ae97d2f","observation_id":"f1154834-42fd-4e19-bb0c-d79662c495bb","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Kaminer, A","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:4194bf40919409dda9c980fc6a0b1ba2d030f5591318be53072169903250275e","observation_id":"d443c98f-2a4f-4cd7-b2ec-20c65ffe0100","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:6d9ce03961c9fa12fa900280e71597dbc797df60f7ee286ff32371b3f5fc79a0","observation_id":"0950187c-87d6-440b-bc54-ef50e942dc59","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Available: https://api.semanticscholar.org/CorpusID: 124320622","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:19c6280956e8b95bf6aa6ebf827acdd976f2a27836578fc7136be88c9edf84e9","observation_id":"425d6758-0928-412e-b7d3-312906be2a13","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Minimum snap trajectory generation and control for quadrotors,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:3ff84049e246327194c31aefc008da37e49c047201fd9aa6fcec5f17f046e783","observation_id":"5988aa4d-e475-4bf1-8f0d-2e58d1e6d605","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Geometric tracking control of a quadrotor UA V on SE(3),","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:038dba04e119b26e50c9da1ea10f7f91926ebafed1665591cab4b2cff7391853","observation_id":"a3160d0b-9af2-4445-8697-c103ba45420f","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Adaptive path following for unmanned aerial vehicles in time-varying unknown wind environments,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:cf2bc298a0c24f001bd96a6a00cc97dc4b409f9f5eb849a2b153d1c87e04d204","observation_id":"536efeff-9335-488d-a002-9a92f58a9641","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Available: https://ieeexplore.ieee.org/abstract/document/ 7963104 13","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:5a5a75bc71e44378926e24ac8b932be378a91916f71def3e5fa847f4604f0d8e","observation_id":"7e70231d-40f9-4671-861b-9b870db0e959","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Nonlinear motion control of multiple autonomous underwater vehicles,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:930fdd34036e7df20e22668bff561e5bde0200a36558c5aedfcbf397907a44e8","observation_id":"7a4ca848-50c5-474f-b2df-cb1d1866b7ea","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Coordinated path following of UA Vs over time-varying digraphs connected in an integral sense,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:dae212d5d91653bc871d8073942168dbee7ba3e7765da4efa1671f5ae55c93cb","observation_id":"e56f65e7-fff4-40bd-9e95-201dfc2a20e5","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":"2504.09022","doi":"10.48550/arxiv.2504.09022","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:49:49.166767Z","title":"Game-theoretic coordination for time-critical missions of UA V systems,","venue":null,"work_id":"6082f01f-9fc2-4a1f-85db-d07aa7b8047a","year":2025},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:ed9532e5550bc8c6e26c6131bf28b73f970c3c3ef62e9c082ba2654c4c06761e","observation_id":"04f055c1-d542-422c-ac02-72f63cee3b9f","resolution":{"observed_at":"2026-07-13T18:49:49.171604Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Distributed model predictive control for consensus of sampled-data multi-agent systems with double-integrator dynamics,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:c7edb6fd1e672a484506c7d90ef5398efc137b1d1fc3e0ab99300c4d107761e2","observation_id":"dbb71a48-00a2-4a12-b4e5-a5a556ed6b89","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Model predictive control schemes for consensus in multi-agent systems with single- and double-integrator dynamics,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:6f760c602db8eca25cf3785649dc1cc551670549e69b1f28bd3486627a0771fa","observation_id":"e4b008b6-8027-44f6-8601-7d764436bc58","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.04485","last_updated":"2023-06-07T14:55:00Z","snapshot_observed_at":"2026-08-05T19:54:45.223149Z","submitted_at":"2023-06-07T14:55:00Z","title":"RotorPy: A Python-based Multirotor Simulator with Aerodynamics for Education and Research","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.04485","snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"RotorPy: A Python-based multirotor simulator with aerodynamics for education and research,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"cited_paper":"/paper/2306.04485","citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:461d85efd281e6a51d154dae88edec5dea0359b1f4b4596e62a7f9da1bde801e","observation_id":"2d373418-06df-4e2b-b680-aa222a6de50f","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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.1137/060678993","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Coordinated path-following in the presence of communication losses and time delays,","venue":"SIAM Journal on Control and Optimization","work_id":"32fd6055-400c-4cb6-aa89-f57405765ff0","year":2009},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:bb93f89abdff30d0340c7093c284888fad01005f604bb2a1323e729c5da916d2","observation_id":"0c52db6e-52fe-413f-af32-a682919864d4","resolution":{"observed_at":"2026-07-13T18:49:49.152304Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:673d79468567635a780770aa922ecced87a53d62f68744a33454fcc303ecc249","observation_id":"428a2d04-0137-4b9e-a5d4-2f031f5c3ee7","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Applied optimal control: Optimization, estimation, and control,","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:7b940d122b2ca88f0609b8ded18542cc44677e8a4a2079e7404d00b9b051cabc","observation_id":"2fbd6891-d81d-4b90-9441-ae8e755723ee","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Flight PID controller design for a UA V quadrotor","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:434608d70908922fb696735a0ae1e76ff8c7b7674c2326047a69cf4bb95a4ef6","observation_id":"e538ae5b-9dd4-449e-b141-16196f331561","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"A 3d path-following approach for a multirotor uav on so (3),","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:d0a5cc73105090b76e38826724afbabcb1a41cf7f804cb3d9fa28115af388ad2","observation_id":"85d1f74a-6d2e-4334-8a53-b68f43f29f7b","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T18:40:30.767489Z","title":"Biggs,��������� ����� ������","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-13T18:40:30.767489Z"},"links":{"citing_paper":"/paper/2603.24747"},"observation_digest":"sha256:305b2c9192cf4d92a1c607b8394fbacd8009cfe67ce891cd0aba05f5b0877591","observation_id":"1226be0c-291a-4c83-ac74-c65ffdecfc42","resolution":{"observed_at":"2026-07-13T18:40:30.767489Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2603.24747","last_updated":"2026-07-02T09:02:03Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-07-13T18:40:29.166393Z","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":23,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":25},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2603.24747."}