{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:DGHO5SNLZVN2GZJREIACGIXWDU","short_pith_number":"pith:DGHO5SNL","canonical_record":{"source":{"id":"2201.09140","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2022-01-22T22:43:37Z","cross_cats_sorted":[],"title_canon_sha256":"f67cd756035dd2e7a44a18a9f41f8ecef05768ff03f37a20e50987adf3e62ff2","abstract_canon_sha256":"55cda7c8a2ae4fc2d6ed7acc0a46cd392214153d813cf2f137bad60f8788fe45"},"schema_version":"1.0"},"canonical_sha256":"198eeec9abcd5ba3653122002322f61d2425420e9f8f41cc3e9c06b3e51caf6c","source":{"kind":"arxiv","id":"2201.09140","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.09140","created_at":"2026-07-05T03:50:54Z"},{"alias_kind":"arxiv_version","alias_value":"2201.09140v1","created_at":"2026-07-05T03:50:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.09140","created_at":"2026-07-05T03:50:54Z"},{"alias_kind":"pith_short_12","alias_value":"DGHO5SNLZVN2","created_at":"2026-07-05T03:50:54Z"},{"alias_kind":"pith_short_16","alias_value":"DGHO5SNLZVN2GZJR","created_at":"2026-07-05T03:50:54Z"},{"alias_kind":"pith_short_8","alias_value":"DGHO5SNL","created_at":"2026-07-05T03:50:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:DGHO5SNLZVN2GZJREIACGIXWDU","target":"record","payload":{"canonical_record":{"source":{"id":"2201.09140","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2022-01-22T22:43:37Z","cross_cats_sorted":[],"title_canon_sha256":"f67cd756035dd2e7a44a18a9f41f8ecef05768ff03f37a20e50987adf3e62ff2","abstract_canon_sha256":"55cda7c8a2ae4fc2d6ed7acc0a46cd392214153d813cf2f137bad60f8788fe45"},"schema_version":"1.0"},"canonical_sha256":"198eeec9abcd5ba3653122002322f61d2425420e9f8f41cc3e9c06b3e51caf6c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:50:54.601116Z","signature_b64":"wOHo+6beRZqP6KpejO2qcxwZB9rMLPHYc1WiNYbTRS6ctiFuMeaSTsb2OG5ykln/SEN3tLN6d8A6WkF51EMzBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"198eeec9abcd5ba3653122002322f61d2425420e9f8f41cc3e9c06b3e51caf6c","last_reissued_at":"2026-07-05T03:50:54.600723Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:50:54.600723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2201.09140","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-05T03:50:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SK10D3SPJd9mbCmNsS8BG277F3w7QqG05BcaIx7TCrsiAt2YcLmnkt9VfaDRjbN6N6LhbirC/0wWm3XRwRMjDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T16:14:28.604329Z"},"content_sha256":"78cc4a2bbe11f3f69297596eb35e38148b21dace07dfebef8d5e087f0d1a5bfc","schema_version":"1.0","event_id":"sha256:78cc4a2bbe11f3f69297596eb35e38148b21dace07dfebef8d5e087f0d1a5bfc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:DGHO5SNLZVN2GZJREIACGIXWDU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Bowen Zheng, Chao Huang, Qi Zhu, Xiangguo Liu, Yixuan Wang","submitted_at":"2022-01-22T22:43:37Z","abstract_excerpt":"Neural networks have shown great promises in planning, control, and general decision making for learning-enabled cyber-physical systems (LE-CPSs), especially in improving performance under complex scenarios. However, it is very challenging to formally analyze the behavior of neural network based planners for ensuring system safety, which significantly impedes their applications in safety-critical domains such as autonomous driving. In this work, we propose a hierarchical neural network based planner that analyzes the underlying physical scenarios of the system and learns a system-level behavio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.09140","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/2201.09140/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-05T03:50:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7MMUul0TDVUyaQnvkYBClZsSETgLZO2WJr7Lw1Qzch7pmlHaith6OsHWwaXAG4UEFB/04yK47xdK0mKCf0ifBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T16:14:28.604706Z"},"content_sha256":"9f7a105b03f4bc9ef903a28e0eeea492a311ff94ebc210c5030d04b73ad8ed5e","schema_version":"1.0","event_id":"sha256:9f7a105b03f4bc9ef903a28e0eeea492a311ff94ebc210c5030d04b73ad8ed5e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DGHO5SNLZVN2GZJREIACGIXWDU/bundle.json","state_url":"https://pith.science/pith/DGHO5SNLZVN2GZJREIACGIXWDU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DGHO5SNLZVN2GZJREIACGIXWDU/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-07-25T16:14:28Z","links":{"resolver":"https://pith.science/pith/DGHO5SNLZVN2GZJREIACGIXWDU","bundle":"https://pith.science/pith/DGHO5SNLZVN2GZJREIACGIXWDU/bundle.json","state":"https://pith.science/pith/DGHO5SNLZVN2GZJREIACGIXWDU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DGHO5SNLZVN2GZJREIACGIXWDU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:DGHO5SNLZVN2GZJREIACGIXWDU","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":"55cda7c8a2ae4fc2d6ed7acc0a46cd392214153d813cf2f137bad60f8788fe45","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2022-01-22T22:43:37Z","title_canon_sha256":"f67cd756035dd2e7a44a18a9f41f8ecef05768ff03f37a20e50987adf3e62ff2"},"schema_version":"1.0","source":{"id":"2201.09140","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.09140","created_at":"2026-07-05T03:50:54Z"},{"alias_kind":"arxiv_version","alias_value":"2201.09140v1","created_at":"2026-07-05T03:50:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.09140","created_at":"2026-07-05T03:50:54Z"},{"alias_kind":"pith_short_12","alias_value":"DGHO5SNLZVN2","created_at":"2026-07-05T03:50:54Z"},{"alias_kind":"pith_short_16","alias_value":"DGHO5SNLZVN2GZJR","created_at":"2026-07-05T03:50:54Z"},{"alias_kind":"pith_short_8","alias_value":"DGHO5SNL","created_at":"2026-07-05T03:50:54Z"}],"graph_snapshots":[{"event_id":"sha256:9f7a105b03f4bc9ef903a28e0eeea492a311ff94ebc210c5030d04b73ad8ed5e","target":"graph","created_at":"2026-07-05T03:50:54Z","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/2201.09140/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural networks have shown great promises in planning, control, and general decision making for learning-enabled cyber-physical systems (LE-CPSs), especially in improving performance under complex scenarios. However, it is very challenging to formally analyze the behavior of neural network based planners for ensuring system safety, which significantly impedes their applications in safety-critical domains such as autonomous driving. In this work, we propose a hierarchical neural network based planner that analyzes the underlying physical scenarios of the system and learns a system-level behavio","authors_text":"Bowen Zheng, Chao Huang, Qi Zhu, Xiangguo Liu, Yixuan Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2022-01-22T22:43:37Z","title":"Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.09140","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:78cc4a2bbe11f3f69297596eb35e38148b21dace07dfebef8d5e087f0d1a5bfc","target":"record","created_at":"2026-07-05T03:50:54Z","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":"55cda7c8a2ae4fc2d6ed7acc0a46cd392214153d813cf2f137bad60f8788fe45","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2022-01-22T22:43:37Z","title_canon_sha256":"f67cd756035dd2e7a44a18a9f41f8ecef05768ff03f37a20e50987adf3e62ff2"},"schema_version":"1.0","source":{"id":"2201.09140","kind":"arxiv","version":1}},"canonical_sha256":"198eeec9abcd5ba3653122002322f61d2425420e9f8f41cc3e9c06b3e51caf6c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"198eeec9abcd5ba3653122002322f61d2425420e9f8f41cc3e9c06b3e51caf6c","first_computed_at":"2026-07-05T03:50:54.600723Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:50:54.600723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wOHo+6beRZqP6KpejO2qcxwZB9rMLPHYc1WiNYbTRS6ctiFuMeaSTsb2OG5ykln/SEN3tLN6d8A6WkF51EMzBg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:50:54.601116Z","signed_message":"canonical_sha256_bytes"},"source_id":"2201.09140","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:78cc4a2bbe11f3f69297596eb35e38148b21dace07dfebef8d5e087f0d1a5bfc","sha256:9f7a105b03f4bc9ef903a28e0eeea492a311ff94ebc210c5030d04b73ad8ed5e"],"state_sha256":"350a12b7b06e9cf4e22664e8f6b89f1bb43e34b7f3f0323cdb70fe8be3fe054b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CE/qo1lphyd2WWoBBpdF/KjrwDUyADz7fWr7xYqqdmdrNh1tk4pWUCbBSftQ0zDLkMrHfQv98e6k0GIgOwYoDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-25T16:14:28.606814Z","bundle_sha256":"462f111a8e00eb1b31b9b70de9bb07a04dc3c162358e35541f5964f8d46efce5"}}