{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:J64I2XATQUEFL5RGPTUX3ASHH5","short_pith_number":"pith:J64I2XAT","schema_version":"1.0","canonical_sha256":"4fb88d5c13850855f6267ce97d82473f6ee5f5744c40808d9a3409e2e39472cf","source":{"kind":"arxiv","id":"1611.05186","version":2},"attestation_state":"computed","paper":{"title":"Multi-Agent Motion Planning and Object Transportation under High Level Goals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Christos Verginis, Dimos Dimarogonas","submitted_at":"2016-11-16T08:58:31Z","abstract_excerpt":"This paper presents a hybrid control framework for the motion planning of a multi-agent system including N robotic agents and M objects, under high level goals. In particular, we design control protocols that allow the transition of the agents as well as the transportation of the objects by the agents, among predefined regions of interest in the workspace. This allows us to abstract the coupled behavior of the agents and the objects as a finite transition system and to design a high-level multi-agent plan that satisfies the agents' and the objects' specifications, given as temporal logic formu"},"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":"1611.05186","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-11-16T08:58:31Z","cross_cats_sorted":[],"title_canon_sha256":"17296cdd72bcfb5e427f4fa10368d404877882c3617edfabf3f91d76f91819e1","abstract_canon_sha256":"a59c93687f266b0d9e053ca13326136de1ef26c53ac79814fdb0ed7114734454"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:47:56.662948Z","signature_b64":"kx7D+5Spxhi/IL84zBDzrMcwSTpTjqTwKchAeYjpmTyqDFJ6YeVj+VVQglOeCv/a0X2a9VFRo074uB3YUsBsCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4fb88d5c13850855f6267ce97d82473f6ee5f5744c40808d9a3409e2e39472cf","last_reissued_at":"2026-05-18T00:47:56.662445Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:47:56.662445Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Multi-Agent Motion Planning and Object Transportation under High Level Goals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Christos Verginis, Dimos Dimarogonas","submitted_at":"2016-11-16T08:58:31Z","abstract_excerpt":"This paper presents a hybrid control framework for the motion planning of a multi-agent system including N robotic agents and M objects, under high level goals. In particular, we design control protocols that allow the transition of the agents as well as the transportation of the objects by the agents, among predefined regions of interest in the workspace. This allows us to abstract the coupled behavior of the agents and the objects as a finite transition system and to design a high-level multi-agent plan that satisfies the agents' and the objects' specifications, given as temporal logic formu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.05186","kind":"arxiv","version":2},"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":"1611.05186","created_at":"2026-05-18T00:47:56.662526+00:00"},{"alias_kind":"arxiv_version","alias_value":"1611.05186v2","created_at":"2026-05-18T00:47:56.662526+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.05186","created_at":"2026-05-18T00:47:56.662526+00:00"},{"alias_kind":"pith_short_12","alias_value":"J64I2XATQUEF","created_at":"2026-05-18T12:30:22.444734+00:00"},{"alias_kind":"pith_short_16","alias_value":"J64I2XATQUEFL5RG","created_at":"2026-05-18T12:30:22.444734+00:00"},{"alias_kind":"pith_short_8","alias_value":"J64I2XAT","created_at":"2026-05-18T12:30:22.444734+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/J64I2XATQUEFL5RGPTUX3ASHH5","json":"https://pith.science/pith/J64I2XATQUEFL5RGPTUX3ASHH5.json","graph_json":"https://pith.science/api/pith-number/J64I2XATQUEFL5RGPTUX3ASHH5/graph.json","events_json":"https://pith.science/api/pith-number/J64I2XATQUEFL5RGPTUX3ASHH5/events.json","paper":"https://pith.science/paper/J64I2XAT"},"agent_actions":{"view_html":"https://pith.science/pith/J64I2XATQUEFL5RGPTUX3ASHH5","download_json":"https://pith.science/pith/J64I2XATQUEFL5RGPTUX3ASHH5.json","view_paper":"https://pith.science/paper/J64I2XAT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1611.05186&json=true","fetch_graph":"https://pith.science/api/pith-number/J64I2XATQUEFL5RGPTUX3ASHH5/graph.json","fetch_events":"https://pith.science/api/pith-number/J64I2XATQUEFL5RGPTUX3ASHH5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/J64I2XATQUEFL5RGPTUX3ASHH5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/J64I2XATQUEFL5RGPTUX3ASHH5/action/storage_attestation","attest_author":"https://pith.science/pith/J64I2XATQUEFL5RGPTUX3ASHH5/action/author_attestation","sign_citation":"https://pith.science/pith/J64I2XATQUEFL5RGPTUX3ASHH5/action/citation_signature","submit_replication":"https://pith.science/pith/J64I2XATQUEFL5RGPTUX3ASHH5/action/replication_record"}},"created_at":"2026-05-18T00:47:56.662526+00:00","updated_at":"2026-05-18T00:47:56.662526+00:00"}