{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:PYZZGHCHJQ5CB4NMRRTX5VE3OO","short_pith_number":"pith:PYZZGHCH","canonical_record":{"source":{"id":"2009.14363","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-30T01:00:47Z","cross_cats_sorted":["cs.MA","cs.RO","cs.SY"],"title_canon_sha256":"b9ac4cfdb4614f5d61e9ecf161618cb4d1ed46afc183d68b7953ee2c73828c48","abstract_canon_sha256":"398fe63456b9e3573eda3c52ea060b36fa0088be22d3723a45f13f784ba13dd1"},"schema_version":"1.0"},"canonical_sha256":"7e33931c474c3a20f1ac8c677ed49b73a6663e58e365c2a1555d32c70074813b","source":{"kind":"arxiv","id":"2009.14363","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.14363","created_at":"2026-07-05T01:39:18Z"},{"alias_kind":"arxiv_version","alias_value":"2009.14363v1","created_at":"2026-07-05T01:39:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.14363","created_at":"2026-07-05T01:39:18Z"},{"alias_kind":"pith_short_12","alias_value":"PYZZGHCHJQ5C","created_at":"2026-07-05T01:39:18Z"},{"alias_kind":"pith_short_16","alias_value":"PYZZGHCHJQ5CB4NM","created_at":"2026-07-05T01:39:18Z"},{"alias_kind":"pith_short_8","alias_value":"PYZZGHCH","created_at":"2026-07-05T01:39:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:PYZZGHCHJQ5CB4NMRRTX5VE3OO","target":"record","payload":{"canonical_record":{"source":{"id":"2009.14363","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-30T01:00:47Z","cross_cats_sorted":["cs.MA","cs.RO","cs.SY"],"title_canon_sha256":"b9ac4cfdb4614f5d61e9ecf161618cb4d1ed46afc183d68b7953ee2c73828c48","abstract_canon_sha256":"398fe63456b9e3573eda3c52ea060b36fa0088be22d3723a45f13f784ba13dd1"},"schema_version":"1.0"},"canonical_sha256":"7e33931c474c3a20f1ac8c677ed49b73a6663e58e365c2a1555d32c70074813b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:39:18.538877Z","signature_b64":"6/sul3ZRfmGS0wHAuLRh3Z5hObKcYtq5pWiQk2yzZ4If8lHyBxnXMFXgwetc4tuyRBD0PYRfyHTB+qDHoa0FBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e33931c474c3a20f1ac8c677ed49b73a6663e58e365c2a1555d32c70074813b","last_reissued_at":"2026-07-05T01:39:18.538496Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:39:18.538496Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2009.14363","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-07-05T01:39:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sNgMP7lskLC921y1p7GGO8aCQtFwq2koHlyxCX6jUcbYRMi9/oT4wvCsaJvhe9Xe7HIomn+GiAkCxGXjn2kvDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T02:16:00.442915Z"},"content_sha256":"b336c9c1b334291c9ea2d87c1f6645dcdf4b4e0b427956a6684b2412425b0488","schema_version":"1.0","event_id":"sha256:b336c9c1b334291c9ea2d87c1f6645dcdf4b4e0b427956a6684b2412425b0488"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:PYZZGHCHJQ5CB4NMRRTX5VE3OO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA","cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"He Yin, Murat Arcak, Sanjit A. Seshia, Yash Vardhan Pant","submitted_at":"2020-09-30T01:00:47Z","abstract_excerpt":"Urban Air Mobility (UAM), or the scenario where multiple manned and Unmanned Aerial Vehicles (UAVs) carry out various tasks over urban airspaces, is a transportation concept of the future that is gaining prominence. UAM missions with complex spatial, temporal and reactive requirements can be succinctly represented using Signal Temporal Logic (STL), a behavioral specification language. However, planning and control of systems with STL specifications is computationally intensive, usually resulting in planning approaches that do not guarantee dynamical feasibility, or control approaches that cann"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.14363","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2009.14363/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:39:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TYzuUz2VBJZHHv2gbn0uOOL75yOliityLD1okXb1sv7AuUVqiFzKdDSajYEr23OrjSQC5vT48J1E7H/ZaU4qCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T02:16:00.443965Z"},"content_sha256":"2251851e22bfd47c4e8aba960fa6fe7e1559c8dc104b8dc9ac2f1cb1389f5156","schema_version":"1.0","event_id":"sha256:2251851e22bfd47c4e8aba960fa6fe7e1559c8dc104b8dc9ac2f1cb1389f5156"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO/bundle.json","state_url":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO/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-08-11T02:16:00Z","links":{"resolver":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO","bundle":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO/bundle.json","state":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:PYZZGHCHJQ5CB4NMRRTX5VE3OO","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":"398fe63456b9e3573eda3c52ea060b36fa0088be22d3723a45f13f784ba13dd1","cross_cats_sorted":["cs.MA","cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-30T01:00:47Z","title_canon_sha256":"b9ac4cfdb4614f5d61e9ecf161618cb4d1ed46afc183d68b7953ee2c73828c48"},"schema_version":"1.0","source":{"id":"2009.14363","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.14363","created_at":"2026-07-05T01:39:18Z"},{"alias_kind":"arxiv_version","alias_value":"2009.14363v1","created_at":"2026-07-05T01:39:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.14363","created_at":"2026-07-05T01:39:18Z"},{"alias_kind":"pith_short_12","alias_value":"PYZZGHCHJQ5C","created_at":"2026-07-05T01:39:18Z"},{"alias_kind":"pith_short_16","alias_value":"PYZZGHCHJQ5CB4NM","created_at":"2026-07-05T01:39:18Z"},{"alias_kind":"pith_short_8","alias_value":"PYZZGHCH","created_at":"2026-07-05T01:39:18Z"}],"graph_snapshots":[{"event_id":"sha256:2251851e22bfd47c4e8aba960fa6fe7e1559c8dc104b8dc9ac2f1cb1389f5156","target":"graph","created_at":"2026-07-05T01:39:18Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2009.14363/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Urban Air Mobility (UAM), or the scenario where multiple manned and Unmanned Aerial Vehicles (UAVs) carry out various tasks over urban airspaces, is a transportation concept of the future that is gaining prominence. UAM missions with complex spatial, temporal and reactive requirements can be succinctly represented using Signal Temporal Logic (STL), a behavioral specification language. However, planning and control of systems with STL specifications is computationally intensive, usually resulting in planning approaches that do not guarantee dynamical feasibility, or control approaches that cann","authors_text":"He Yin, Murat Arcak, Sanjit A. Seshia, Yash Vardhan Pant","cross_cats":["cs.MA","cs.RO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-30T01:00:47Z","title":"Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.14363","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:b336c9c1b334291c9ea2d87c1f6645dcdf4b4e0b427956a6684b2412425b0488","target":"record","created_at":"2026-07-05T01:39:18Z","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":"398fe63456b9e3573eda3c52ea060b36fa0088be22d3723a45f13f784ba13dd1","cross_cats_sorted":["cs.MA","cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-30T01:00:47Z","title_canon_sha256":"b9ac4cfdb4614f5d61e9ecf161618cb4d1ed46afc183d68b7953ee2c73828c48"},"schema_version":"1.0","source":{"id":"2009.14363","kind":"arxiv","version":1}},"canonical_sha256":"7e33931c474c3a20f1ac8c677ed49b73a6663e58e365c2a1555d32c70074813b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7e33931c474c3a20f1ac8c677ed49b73a6663e58e365c2a1555d32c70074813b","first_computed_at":"2026-07-05T01:39:18.538496Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:39:18.538496Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6/sul3ZRfmGS0wHAuLRh3Z5hObKcYtq5pWiQk2yzZ4If8lHyBxnXMFXgwetc4tuyRBD0PYRfyHTB+qDHoa0FBw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:39:18.538877Z","signed_message":"canonical_sha256_bytes"},"source_id":"2009.14363","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b336c9c1b334291c9ea2d87c1f6645dcdf4b4e0b427956a6684b2412425b0488","sha256:2251851e22bfd47c4e8aba960fa6fe7e1559c8dc104b8dc9ac2f1cb1389f5156"],"state_sha256":"beb5aacc738f50f3e4b4cd8802421f404c1e88e494a2a4ddcc8794d9aaa654cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5U6mHLjruzoWCMi7U7fBw1goCPBpapTu2AX+b08SsC3CuiIPjWWCTN5b5rpDLQ8ZIsWruVUNr2aFHlo0BTaeBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T02:16:00.448869Z","bundle_sha256":"2b3348b0b6f84e01da5b26d72040b0365d170f225c648a2877c1dc0ad4204e16"}}