{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:QTKY333SB6E3T6RY37WNRAA44W","short_pith_number":"pith:QTKY333S","schema_version":"1.0","canonical_sha256":"84d58def720f89b9fa38dfecd8801ce5bb3aa3d7637526f619e0d7f5dd271792","source":{"kind":"arxiv","id":"1711.02540","version":1},"attestation_state":"computed","paper":{"title":"Safe and Resilient Multi-vehicle Trajectory Planning Under Adversarial Intruder","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS","math.OC"],"primary_cat":"cs.SY","authors_text":"Claire J. Tomlin, Mo Chen, Somil Bansal","submitted_at":"2017-11-06T00:47:54Z","abstract_excerpt":"Provably safe and scalable multi-vehicle trajectory planning is an important and urgent problem. Hamilton-Jacobi (HJ) reachability is an ideal tool for analyzing such safety-critical systems and has been successfully applied to several small-scale problems. However, a direct application of HJ reachability to multi-vehicle trajectory planning is often intractable due to the \"curse of dimensionality.\" To overcome this problem, the sequential trajectory planning (STP) method, which assigns strict priorities to vehicles, was proposed, STP allows multi-vehicle trajectory planning to be done with a "},"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":"1711.02540","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-11-06T00:47:54Z","cross_cats_sorted":["math.DS","math.OC"],"title_canon_sha256":"919f0d5d092dbd9b17f2e0aa5068bef450ee44650136d10eb6c5c9c771183d1f","abstract_canon_sha256":"54e97b6fd232bd9964d702ac6246221c74bd15e4051b33c13c9c13b30063c69d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:07.652497Z","signature_b64":"3RI5g59loGvy8nrahkrjRwZgzSwG6kR6MUdxxRCGq07zXGMPKYC2+92ogj/MKs171KShJsLqrGTLNo/J99DGDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"84d58def720f89b9fa38dfecd8801ce5bb3aa3d7637526f619e0d7f5dd271792","last_reissued_at":"2026-05-18T00:31:07.651840Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:07.651840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Safe and Resilient Multi-vehicle Trajectory Planning Under Adversarial Intruder","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS","math.OC"],"primary_cat":"cs.SY","authors_text":"Claire J. Tomlin, Mo Chen, Somil Bansal","submitted_at":"2017-11-06T00:47:54Z","abstract_excerpt":"Provably safe and scalable multi-vehicle trajectory planning is an important and urgent problem. Hamilton-Jacobi (HJ) reachability is an ideal tool for analyzing such safety-critical systems and has been successfully applied to several small-scale problems. However, a direct application of HJ reachability to multi-vehicle trajectory planning is often intractable due to the \"curse of dimensionality.\" To overcome this problem, the sequential trajectory planning (STP) method, which assigns strict priorities to vehicles, was proposed, STP allows multi-vehicle trajectory planning to be done with a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.02540","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1711.02540","created_at":"2026-05-18T00:31:07.651928+00:00"},{"alias_kind":"arxiv_version","alias_value":"1711.02540v1","created_at":"2026-05-18T00:31:07.651928+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.02540","created_at":"2026-05-18T00:31:07.651928+00:00"},{"alias_kind":"pith_short_12","alias_value":"QTKY333SB6E3","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_16","alias_value":"QTKY333SB6E3T6RY","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_8","alias_value":"QTKY333S","created_at":"2026-05-18T12:31:39.905425+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/QTKY333SB6E3T6RY37WNRAA44W","json":"https://pith.science/pith/QTKY333SB6E3T6RY37WNRAA44W.json","graph_json":"https://pith.science/api/pith-number/QTKY333SB6E3T6RY37WNRAA44W/graph.json","events_json":"https://pith.science/api/pith-number/QTKY333SB6E3T6RY37WNRAA44W/events.json","paper":"https://pith.science/paper/QTKY333S"},"agent_actions":{"view_html":"https://pith.science/pith/QTKY333SB6E3T6RY37WNRAA44W","download_json":"https://pith.science/pith/QTKY333SB6E3T6RY37WNRAA44W.json","view_paper":"https://pith.science/paper/QTKY333S","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1711.02540&json=true","fetch_graph":"https://pith.science/api/pith-number/QTKY333SB6E3T6RY37WNRAA44W/graph.json","fetch_events":"https://pith.science/api/pith-number/QTKY333SB6E3T6RY37WNRAA44W/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QTKY333SB6E3T6RY37WNRAA44W/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QTKY333SB6E3T6RY37WNRAA44W/action/storage_attestation","attest_author":"https://pith.science/pith/QTKY333SB6E3T6RY37WNRAA44W/action/author_attestation","sign_citation":"https://pith.science/pith/QTKY333SB6E3T6RY37WNRAA44W/action/citation_signature","submit_replication":"https://pith.science/pith/QTKY333SB6E3T6RY37WNRAA44W/action/replication_record"}},"created_at":"2026-05-18T00:31:07.651928+00:00","updated_at":"2026-05-18T00:31:07.651928+00:00"}