{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:PYZZGHCHJQ5CB4NMRRTX5VE3OO","short_pith_number":"pith:PYZZGHCH","schema_version":"1.0","canonical_sha256":"7e33931c474c3a20f1ac8c677ed49b73a6663e58e365c2a1555d32c70074813b","source":{"kind":"arxiv","id":"2009.14363","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2009.14363","created_at":"2026-07-05T01:39:18.538552+00:00"},{"alias_kind":"arxiv_version","alias_value":"2009.14363v1","created_at":"2026-07-05T01:39:18.538552+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.14363","created_at":"2026-07-05T01:39:18.538552+00:00"},{"alias_kind":"pith_short_12","alias_value":"PYZZGHCHJQ5C","created_at":"2026-07-05T01:39:18.538552+00:00"},{"alias_kind":"pith_short_16","alias_value":"PYZZGHCHJQ5CB4NM","created_at":"2026-07-05T01:39:18.538552+00:00"},{"alias_kind":"pith_short_8","alias_value":"PYZZGHCH","created_at":"2026-07-05T01:39:18.538552+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/PYZZGHCHJQ5CB4NMRRTX5VE3OO","json":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO.json","graph_json":"https://pith.science/api/pith-number/PYZZGHCHJQ5CB4NMRRTX5VE3OO/graph.json","events_json":"https://pith.science/api/pith-number/PYZZGHCHJQ5CB4NMRRTX5VE3OO/events.json","paper":"https://pith.science/paper/PYZZGHCH"},"agent_actions":{"view_html":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO","download_json":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO.json","view_paper":"https://pith.science/paper/PYZZGHCH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2009.14363&json=true","fetch_graph":"https://pith.science/api/pith-number/PYZZGHCHJQ5CB4NMRRTX5VE3OO/graph.json","fetch_events":"https://pith.science/api/pith-number/PYZZGHCHJQ5CB4NMRRTX5VE3OO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO/action/storage_attestation","attest_author":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO/action/author_attestation","sign_citation":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO/action/citation_signature","submit_replication":"https://pith.science/pith/PYZZGHCHJQ5CB4NMRRTX5VE3OO/action/replication_record"}},"created_at":"2026-07-05T01:39:18.538552+00:00","updated_at":"2026-07-05T01:39:18.538552+00:00"}