{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:TARBKBQT7L5AFZ3SGC6KYLKIXF","short_pith_number":"pith:TARBKBQT","schema_version":"1.0","canonical_sha256":"9822150613fafa02e77230bcac2d48b962ad478ac11269c5b21614dc7eb45d37","source":{"kind":"arxiv","id":"1705.11085","version":1},"attestation_state":"computed","paper":{"title":"Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Bo Wu, Hai Lin, Jin Dai, Zhiyu Liu","submitted_at":"2017-05-30T01:12:35Z","abstract_excerpt":"We propose a mathematical framework for synthesizing motion plans for multi-agent systems that fulfill complex, high-level and formal local specifications in the presence of inter-agent communication. The proposed synthesis framework consists of desired motion specifications in temporal logic (STL) formulas and a local motion controller that ensures the underlying agent not only to accomplish the local specifications but also to avoid collisions with other agents or possible obstacles, while maintaining an optimized communication quality of service (QoS) among the agents. Utilizing a Gaussian "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1705.11085","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-30T01:12:35Z","cross_cats_sorted":[],"title_canon_sha256":"1b0adc58d0eb9f353dbe34842033127cb71ebb09925235eb8b4f293ec4933520","abstract_canon_sha256":"c54ec24224d43c513a8b7f537f711905c8f4277d870505f6e6241fd277dc715b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:43:19.330879Z","signature_b64":"0wPdq+C5n5ac0qMUsvsR/Vl4enm7yDdE8paT0el5h49/IbS3G0SgzQCXoX2sUhBxQZkRNzPGX8KamQBvzyBnCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9822150613fafa02e77230bcac2d48b962ad478ac11269c5b21614dc7eb45d37","last_reissued_at":"2026-05-18T00:43:19.330286Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:43:19.330286Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Bo Wu, Hai Lin, Jin Dai, Zhiyu Liu","submitted_at":"2017-05-30T01:12:35Z","abstract_excerpt":"We propose a mathematical framework for synthesizing motion plans for multi-agent systems that fulfill complex, high-level and formal local specifications in the presence of inter-agent communication. The proposed synthesis framework consists of desired motion specifications in temporal logic (STL) formulas and a local motion controller that ensures the underlying agent not only to accomplish the local specifications but also to avoid collisions with other agents or possible obstacles, while maintaining an optimized communication quality of service (QoS) among the agents. Utilizing a Gaussian "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.11085","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1705.11085","created_at":"2026-05-18T00:43:19.330390+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.11085v1","created_at":"2026-05-18T00:43:19.330390+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.11085","created_at":"2026-05-18T00:43:19.330390+00:00"},{"alias_kind":"pith_short_12","alias_value":"TARBKBQT7L5A","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_16","alias_value":"TARBKBQT7L5AFZ3S","created_at":"2026-05-18T12:31:43.269735+00:00"},{"alias_kind":"pith_short_8","alias_value":"TARBKBQT","created_at":"2026-05-18T12:31:43.269735+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF","json":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF.json","graph_json":"https://pith.science/api/pith-number/TARBKBQT7L5AFZ3SGC6KYLKIXF/graph.json","events_json":"https://pith.science/api/pith-number/TARBKBQT7L5AFZ3SGC6KYLKIXF/events.json","paper":"https://pith.science/paper/TARBKBQT"},"agent_actions":{"view_html":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF","download_json":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF.json","view_paper":"https://pith.science/paper/TARBKBQT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.11085&json=true","fetch_graph":"https://pith.science/api/pith-number/TARBKBQT7L5AFZ3SGC6KYLKIXF/graph.json","fetch_events":"https://pith.science/api/pith-number/TARBKBQT7L5AFZ3SGC6KYLKIXF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF/action/storage_attestation","attest_author":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF/action/author_attestation","sign_citation":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF/action/citation_signature","submit_replication":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF/action/replication_record"}},"created_at":"2026-05-18T00:43:19.330390+00:00","updated_at":"2026-05-18T00:43:19.330390+00:00"}