{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:TARBKBQT7L5AFZ3SGC6KYLKIXF","short_pith_number":"pith:TARBKBQT","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"},"canonical_sha256":"9822150613fafa02e77230bcac2d48b962ad478ac11269c5b21614dc7eb45d37","source":{"kind":"arxiv","id":"1705.11085","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.11085","created_at":"2026-05-18T00:43:19Z"},{"alias_kind":"arxiv_version","alias_value":"1705.11085v1","created_at":"2026-05-18T00:43:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.11085","created_at":"2026-05-18T00:43:19Z"},{"alias_kind":"pith_short_12","alias_value":"TARBKBQT7L5A","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"TARBKBQT7L5AFZ3S","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"TARBKBQT","created_at":"2026-05-18T12:31:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:TARBKBQT7L5AFZ3SGC6KYLKIXF","target":"record","payload":{"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"},"canonical_sha256":"9822150613fafa02e77230bcac2d48b962ad478ac11269c5b21614dc7eb45d37","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"},"source_kind":"arxiv","source_id":"1705.11085","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:43:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vDCNrgj07w6E+1kUoUJ6CkA3Opn+V3ig2URp5GK1xD9auFKCm5aQLOp6CXC+BD5zzPTIYM1O2+a2+GcGFW06BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T22:38:29.001135Z"},"content_sha256":"cc8c08bd281f3195053526da99c84f988f36a76e8c543a420fa6c45eb3e7b7f9","schema_version":"1.0","event_id":"sha256:cc8c08bd281f3195053526da99c84f988f36a76e8c543a420fa6c45eb3e7b7f9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:TARBKBQT7L5AFZ3SGC6KYLKIXF","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:43:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"im2IcUo9fnV64HnX6Wg1DDfe+cQWqyWtIDyy6GT2xxmdqEPRYLfsNxGzfzz/s3GcQ0uheU1J3gpX0MFuTwbDAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T22:38:29.001508Z"},"content_sha256":"c959fc486c6ab0de73354fb4ec0742c9f164495ec9db94adacc13d217ad6bc7d","schema_version":"1.0","event_id":"sha256:c959fc486c6ab0de73354fb4ec0742c9f164495ec9db94adacc13d217ad6bc7d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF/bundle.json","state_url":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-18T22:38:29Z","links":{"resolver":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF","bundle":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF/bundle.json","state":"https://pith.science/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TARBKBQT7L5AFZ3SGC6KYLKIXF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:TARBKBQT7L5AFZ3SGC6KYLKIXF","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c54ec24224d43c513a8b7f537f711905c8f4277d870505f6e6241fd277dc715b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-30T01:12:35Z","title_canon_sha256":"1b0adc58d0eb9f353dbe34842033127cb71ebb09925235eb8b4f293ec4933520"},"schema_version":"1.0","source":{"id":"1705.11085","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.11085","created_at":"2026-05-18T00:43:19Z"},{"alias_kind":"arxiv_version","alias_value":"1705.11085v1","created_at":"2026-05-18T00:43:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.11085","created_at":"2026-05-18T00:43:19Z"},{"alias_kind":"pith_short_12","alias_value":"TARBKBQT7L5A","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"TARBKBQT7L5AFZ3S","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"TARBKBQT","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:c959fc486c6ab0de73354fb4ec0742c9f164495ec9db94adacc13d217ad6bc7d","target":"graph","created_at":"2026-05-18T00:43:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"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 ","authors_text":"Bo Wu, Hai Lin, Jin Dai, Zhiyu Liu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-30T01:12:35Z","title":"Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.11085","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:cc8c08bd281f3195053526da99c84f988f36a76e8c543a420fa6c45eb3e7b7f9","target":"record","created_at":"2026-05-18T00:43:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"c54ec24224d43c513a8b7f537f711905c8f4277d870505f6e6241fd277dc715b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-05-30T01:12:35Z","title_canon_sha256":"1b0adc58d0eb9f353dbe34842033127cb71ebb09925235eb8b4f293ec4933520"},"schema_version":"1.0","source":{"id":"1705.11085","kind":"arxiv","version":1}},"canonical_sha256":"9822150613fafa02e77230bcac2d48b962ad478ac11269c5b21614dc7eb45d37","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9822150613fafa02e77230bcac2d48b962ad478ac11269c5b21614dc7eb45d37","first_computed_at":"2026-05-18T00:43:19.330286Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:43:19.330286Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0wPdq+C5n5ac0qMUsvsR/Vl4enm7yDdE8paT0el5h49/IbS3G0SgzQCXoX2sUhBxQZkRNzPGX8KamQBvzyBnCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:43:19.330879Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.11085","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cc8c08bd281f3195053526da99c84f988f36a76e8c543a420fa6c45eb3e7b7f9","sha256:c959fc486c6ab0de73354fb4ec0742c9f164495ec9db94adacc13d217ad6bc7d"],"state_sha256":"ace88376c6af3e3d7353268e0cdf7747e187023d040d37e08f878a533769dc5c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3Ukfr0oesrKEForA/8mqXP3lD2ZobvJXvVivDCKBl4oxFFqCPU2bNailTEgzJB281R4Txwcf2IiqvfADm6dYCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-18T22:38:29.002974Z","bundle_sha256":"e344501bb46c5e182488236960973d6d47a15b14ee53483260b0d3ba8ba0c7b4"}}