{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:JGDEZEM6NSD7FSF2ZWZYKZX2E3","short_pith_number":"pith:JGDEZEM6","canonical_record":{"source":{"id":"1602.08150","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-02-25T23:42:57Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"d43a3f61a4a812b5feec9e3eb3dede25d1b3d10339033e0dbb34366422744891","abstract_canon_sha256":"1d451b0f56851052ba4e95d5f4ccff68319fc9d1808b585696530b9788c50b91"},"schema_version":"1.0"},"canonical_sha256":"49864c919e6c87f2c8bacdb38566fa26fb66a4515f11fb8d5b5a2d03b20d89fe","source":{"kind":"arxiv","id":"1602.08150","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.08150","created_at":"2026-05-18T00:51:51Z"},{"alias_kind":"arxiv_version","alias_value":"1602.08150v4","created_at":"2026-05-18T00:51:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.08150","created_at":"2026-05-18T00:51:51Z"},{"alias_kind":"pith_short_12","alias_value":"JGDEZEM6NSD7","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JGDEZEM6NSD7FSF2","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JGDEZEM6","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:JGDEZEM6NSD7FSF2ZWZYKZX2E3","target":"record","payload":{"canonical_record":{"source":{"id":"1602.08150","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-02-25T23:42:57Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"d43a3f61a4a812b5feec9e3eb3dede25d1b3d10339033e0dbb34366422744891","abstract_canon_sha256":"1d451b0f56851052ba4e95d5f4ccff68319fc9d1808b585696530b9788c50b91"},"schema_version":"1.0"},"canonical_sha256":"49864c919e6c87f2c8bacdb38566fa26fb66a4515f11fb8d5b5a2d03b20d89fe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:51.759683Z","signature_b64":"i/WKANxmSlT2Z0JpnWL6ECCkbH+R9HXe5e2sJXUNcYkqonqtzdS7vWQny80PSIb6XQPps3/IS7xis/jH0gPhDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"49864c919e6c87f2c8bacdb38566fa26fb66a4515f11fb8d5b5a2d03b20d89fe","last_reissued_at":"2026-05-18T00:51:51.759046Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:51.759046Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.08150","source_version":4,"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:51:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QejNxywEeeXSKf/0F20mJcFCN1mcJnYG0scSetvsUxrC2U/RwO68ynPKPrBXJIpvoPdG1ZIQIWi6mcowJ9wpAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T11:55:13.123660Z"},"content_sha256":"7a5971ed7e6437e66ba811fcae045b36160a16edf33fc806eadf5dc18c441d11","schema_version":"1.0","event_id":"sha256:7a5971ed7e6437e66ba811fcae045b36160a16edf33fc806eadf5dc18c441d11"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:JGDEZEM6NSD7FSF2ZWZYKZX2E3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reachability-Based Safety and Goal Satisfaction of Unmanned Aerial Platoons on Air Highways","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.MA","authors_text":"Casey Mackin, Claire Tomlin, Jaime Fisac, Kene Akametalu, Mo Chen, Qie Hu","submitted_at":"2016-02-25T23:42:57Z","abstract_excerpt":"Recently, there has been immense interest in using unmanned aerial vehicles (UAVs) for civilian operations. As a result, unmanned aerial systems traffic management is needed to ensure the safety and goal satisfaction of potentially thousands of UAVs flying simultaneously. Currently, the analysis of large multi-agent systems cannot tractably provide these guarantees if the agents' set of maneuvers is unrestricted. In this paper, platoons of UAVs flying on air highways is proposed to impose an airspace structure that allows for tractable analysis. For the air highway placement problem, the fast "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.08150","kind":"arxiv","version":4},"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:51:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8ybq2FMkw7UFk/nMjYuz1wiO4AgE1DZKxdIVsrcv2xiGNq5rqZK5LGcVFdupbiRiAH0eGkAZOiSeg8Drbf6bAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T11:55:13.124212Z"},"content_sha256":"da8fd2cf42d0468e9937f6bea5bc4a637c8a23ee9319cb24f686aaa1c6a27800","schema_version":"1.0","event_id":"sha256:da8fd2cf42d0468e9937f6bea5bc4a637c8a23ee9319cb24f686aaa1c6a27800"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JGDEZEM6NSD7FSF2ZWZYKZX2E3/bundle.json","state_url":"https://pith.science/pith/JGDEZEM6NSD7FSF2ZWZYKZX2E3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JGDEZEM6NSD7FSF2ZWZYKZX2E3/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-26T11:55:13Z","links":{"resolver":"https://pith.science/pith/JGDEZEM6NSD7FSF2ZWZYKZX2E3","bundle":"https://pith.science/pith/JGDEZEM6NSD7FSF2ZWZYKZX2E3/bundle.json","state":"https://pith.science/pith/JGDEZEM6NSD7FSF2ZWZYKZX2E3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JGDEZEM6NSD7FSF2ZWZYKZX2E3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:JGDEZEM6NSD7FSF2ZWZYKZX2E3","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":"1d451b0f56851052ba4e95d5f4ccff68319fc9d1808b585696530b9788c50b91","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-02-25T23:42:57Z","title_canon_sha256":"d43a3f61a4a812b5feec9e3eb3dede25d1b3d10339033e0dbb34366422744891"},"schema_version":"1.0","source":{"id":"1602.08150","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.08150","created_at":"2026-05-18T00:51:51Z"},{"alias_kind":"arxiv_version","alias_value":"1602.08150v4","created_at":"2026-05-18T00:51:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.08150","created_at":"2026-05-18T00:51:51Z"},{"alias_kind":"pith_short_12","alias_value":"JGDEZEM6NSD7","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JGDEZEM6NSD7FSF2","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JGDEZEM6","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:da8fd2cf42d0468e9937f6bea5bc4a637c8a23ee9319cb24f686aaa1c6a27800","target":"graph","created_at":"2026-05-18T00:51:51Z","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":"Recently, there has been immense interest in using unmanned aerial vehicles (UAVs) for civilian operations. As a result, unmanned aerial systems traffic management is needed to ensure the safety and goal satisfaction of potentially thousands of UAVs flying simultaneously. Currently, the analysis of large multi-agent systems cannot tractably provide these guarantees if the agents' set of maneuvers is unrestricted. In this paper, platoons of UAVs flying on air highways is proposed to impose an airspace structure that allows for tractable analysis. For the air highway placement problem, the fast ","authors_text":"Casey Mackin, Claire Tomlin, Jaime Fisac, Kene Akametalu, Mo Chen, Qie Hu","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-02-25T23:42:57Z","title":"Reachability-Based Safety and Goal Satisfaction of Unmanned Aerial Platoons on Air Highways"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.08150","kind":"arxiv","version":4},"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:7a5971ed7e6437e66ba811fcae045b36160a16edf33fc806eadf5dc18c441d11","target":"record","created_at":"2026-05-18T00:51:51Z","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":"1d451b0f56851052ba4e95d5f4ccff68319fc9d1808b585696530b9788c50b91","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-02-25T23:42:57Z","title_canon_sha256":"d43a3f61a4a812b5feec9e3eb3dede25d1b3d10339033e0dbb34366422744891"},"schema_version":"1.0","source":{"id":"1602.08150","kind":"arxiv","version":4}},"canonical_sha256":"49864c919e6c87f2c8bacdb38566fa26fb66a4515f11fb8d5b5a2d03b20d89fe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"49864c919e6c87f2c8bacdb38566fa26fb66a4515f11fb8d5b5a2d03b20d89fe","first_computed_at":"2026-05-18T00:51:51.759046Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:51.759046Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i/WKANxmSlT2Z0JpnWL6ECCkbH+R9HXe5e2sJXUNcYkqonqtzdS7vWQny80PSIb6XQPps3/IS7xis/jH0gPhDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:51.759683Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.08150","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7a5971ed7e6437e66ba811fcae045b36160a16edf33fc806eadf5dc18c441d11","sha256:da8fd2cf42d0468e9937f6bea5bc4a637c8a23ee9319cb24f686aaa1c6a27800"],"state_sha256":"2bdead0f058d21bdf51fe1478641e48e194dd4c1445bd5be6d26697a25e25b5e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JTwXJ2Pm6X25reVKM3AD709nNfl9qpov8CuEDy7kQGk1s/4MOPegqfzVSKaFQUk1yaiPMUxDXqgthGRPpxuUDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T11:55:13.126889Z","bundle_sha256":"ae309e27290738085e3b31b9bde93dff773ea553cb4af44a217a2382a8d2df52"}}