{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:3WOV3RLH2RSKRNYERBEM37MESX","short_pith_number":"pith:3WOV3RLH","canonical_record":{"source":{"id":"1610.00912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-10-04T09:48:36Z","cross_cats_sorted":[],"title_canon_sha256":"c7622909ee0b589e748d54857173218ef1d2957d30adc0f7a5c1613c04cc598e","abstract_canon_sha256":"7ebf6b0908583fc4ff5d13e0348ebadfe4747f7d95161c89151ec577553b73b3"},"schema_version":"1.0"},"canonical_sha256":"dd9d5dc567d464a8b7048848cdfd8495fe8ef9ef68c85b6dbce17528c0ad13c5","source":{"kind":"arxiv","id":"1610.00912","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.00912","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"arxiv_version","alias_value":"1610.00912v1","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.00912","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"pith_short_12","alias_value":"3WOV3RLH2RSK","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"3WOV3RLH2RSKRNYE","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"3WOV3RLH","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:3WOV3RLH2RSKRNYERBEM37MESX","target":"record","payload":{"canonical_record":{"source":{"id":"1610.00912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-10-04T09:48:36Z","cross_cats_sorted":[],"title_canon_sha256":"c7622909ee0b589e748d54857173218ef1d2957d30adc0f7a5c1613c04cc598e","abstract_canon_sha256":"7ebf6b0908583fc4ff5d13e0348ebadfe4747f7d95161c89151ec577553b73b3"},"schema_version":"1.0"},"canonical_sha256":"dd9d5dc567d464a8b7048848cdfd8495fe8ef9ef68c85b6dbce17528c0ad13c5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:03:12.918241Z","signature_b64":"LIQWp0sZvedkLGZWhIStRqDKmXrzk5dITDwFjQlUuusy/9laESmptDxX/hAELEX32AUnQaBWQeDnkk5DnSDDBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd9d5dc567d464a8b7048848cdfd8495fe8ef9ef68c85b6dbce17528c0ad13c5","last_reissued_at":"2026-05-18T01:03:12.917548Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:03:12.917548Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.00912","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-18T01:03:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j/4P07+HHR3n0p9aFbM3zZlOt5M9IviTEUj9vWzJwSUwodEnRm8EelrrmYpthdCScQ/GhMG6lueTP2f7z9PMDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:37:55.984929Z"},"content_sha256":"828f72317ae7ca2cf569fd1a5c6b42969fa437a0dff79aa8b0f25ab1d2fd9fb5","schema_version":"1.0","event_id":"sha256:828f72317ae7ca2cf569fd1a5c6b42969fa437a0dff79aa8b0f25ab1d2fd9fb5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:3WOV3RLH2RSKRNYERBEM37MESX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decentralized Motion Planning with Collision Avoidance for a Team of UAVs under High Level Goals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Christos K. Verginis, Dimos V. Dimarogonas, Ziwei Xu","submitted_at":"2016-10-04T09:48:36Z","abstract_excerpt":"This paper addresses the motion planning problem for a team of aerial agents under high level goals. We propose a hybrid control strategy that guarantees the accomplishment of each agent's local goal specification, which is given as a temporal logic formula, while guaranteeing inter-agent collision avoidance. In particular, by defining 3-D spheres that bound the agents' volume, we extend previous work on decentralized navigation functions and propose control laws that navigate the agents among predefined regions of interest of the workspace while avoiding collision with each other. This allows"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.00912","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-18T01:03:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gh11LNUjovmrxI12AHB92jSPpPYjN+BUI8gzJcegh8g7GJXPaOf17yV6a78VyA26YnkaEyJC5cYEmysbE1xaAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:37:55.985295Z"},"content_sha256":"4b921ced89bdd2eca65475695c0fcae9fd644f521f8d3ed395a5b19a3a02e353","schema_version":"1.0","event_id":"sha256:4b921ced89bdd2eca65475695c0fcae9fd644f521f8d3ed395a5b19a3a02e353"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3WOV3RLH2RSKRNYERBEM37MESX/bundle.json","state_url":"https://pith.science/pith/3WOV3RLH2RSKRNYERBEM37MESX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3WOV3RLH2RSKRNYERBEM37MESX/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-06-01T21:37:55Z","links":{"resolver":"https://pith.science/pith/3WOV3RLH2RSKRNYERBEM37MESX","bundle":"https://pith.science/pith/3WOV3RLH2RSKRNYERBEM37MESX/bundle.json","state":"https://pith.science/pith/3WOV3RLH2RSKRNYERBEM37MESX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3WOV3RLH2RSKRNYERBEM37MESX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3WOV3RLH2RSKRNYERBEM37MESX","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":"7ebf6b0908583fc4ff5d13e0348ebadfe4747f7d95161c89151ec577553b73b3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-10-04T09:48:36Z","title_canon_sha256":"c7622909ee0b589e748d54857173218ef1d2957d30adc0f7a5c1613c04cc598e"},"schema_version":"1.0","source":{"id":"1610.00912","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.00912","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"arxiv_version","alias_value":"1610.00912v1","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.00912","created_at":"2026-05-18T01:03:12Z"},{"alias_kind":"pith_short_12","alias_value":"3WOV3RLH2RSK","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"3WOV3RLH2RSKRNYE","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"3WOV3RLH","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:4b921ced89bdd2eca65475695c0fcae9fd644f521f8d3ed395a5b19a3a02e353","target":"graph","created_at":"2026-05-18T01:03:12Z","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":"This paper addresses the motion planning problem for a team of aerial agents under high level goals. We propose a hybrid control strategy that guarantees the accomplishment of each agent's local goal specification, which is given as a temporal logic formula, while guaranteeing inter-agent collision avoidance. In particular, by defining 3-D spheres that bound the agents' volume, we extend previous work on decentralized navigation functions and propose control laws that navigate the agents among predefined regions of interest of the workspace while avoiding collision with each other. This allows","authors_text":"Christos K. Verginis, Dimos V. Dimarogonas, Ziwei Xu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-10-04T09:48:36Z","title":"Decentralized Motion Planning with Collision Avoidance for a Team of UAVs under High Level Goals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.00912","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:828f72317ae7ca2cf569fd1a5c6b42969fa437a0dff79aa8b0f25ab1d2fd9fb5","target":"record","created_at":"2026-05-18T01:03:12Z","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":"7ebf6b0908583fc4ff5d13e0348ebadfe4747f7d95161c89151ec577553b73b3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-10-04T09:48:36Z","title_canon_sha256":"c7622909ee0b589e748d54857173218ef1d2957d30adc0f7a5c1613c04cc598e"},"schema_version":"1.0","source":{"id":"1610.00912","kind":"arxiv","version":1}},"canonical_sha256":"dd9d5dc567d464a8b7048848cdfd8495fe8ef9ef68c85b6dbce17528c0ad13c5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd9d5dc567d464a8b7048848cdfd8495fe8ef9ef68c85b6dbce17528c0ad13c5","first_computed_at":"2026-05-18T01:03:12.917548Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:03:12.917548Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LIQWp0sZvedkLGZWhIStRqDKmXrzk5dITDwFjQlUuusy/9laESmptDxX/hAELEX32AUnQaBWQeDnkk5DnSDDBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:03:12.918241Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.00912","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:828f72317ae7ca2cf569fd1a5c6b42969fa437a0dff79aa8b0f25ab1d2fd9fb5","sha256:4b921ced89bdd2eca65475695c0fcae9fd644f521f8d3ed395a5b19a3a02e353"],"state_sha256":"45e8dc137f536e0031bbd2e42d9d026393e947b64fdb05dbe3a3d8c707f6078a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ih9l02o2epwXFN7F2gBRwap7gJiTksjLl2H0F74qyccLGxUmGBrU+nSbyBaETIGBZ3R2tt+0XGfNtbSKY91pBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:37:55.987176Z","bundle_sha256":"33a7b25d80099448100cdec714938bca26053740469345233807499bc0a880ef"}}