{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:OB3TTBA6RVEADD34WMYJJ5QQ6Q","short_pith_number":"pith:OB3TTBA6","canonical_record":{"source":{"id":"2011.12406","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-11-24T21:33:01Z","cross_cats_sorted":[],"title_canon_sha256":"c377e55c8e8f30a85f5f1a677b12e91686a4fb257aea95bb51d2dd61c4788b14","abstract_canon_sha256":"cbcc5b56ff37c41ca439c11e37969c56132bb79d4327afc721b37fcd20647280"},"schema_version":"1.0"},"canonical_sha256":"707739841e8d48018f7cb33094f610f42476b1af429ff47105bd868f94a8ee36","source":{"kind":"arxiv","id":"2011.12406","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2011.12406","created_at":"2026-07-05T02:42:02Z"},{"alias_kind":"arxiv_version","alias_value":"2011.12406v2","created_at":"2026-07-05T02:42:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2011.12406","created_at":"2026-07-05T02:42:02Z"},{"alias_kind":"pith_short_12","alias_value":"OB3TTBA6RVEA","created_at":"2026-07-05T02:42:02Z"},{"alias_kind":"pith_short_16","alias_value":"OB3TTBA6RVEADD34","created_at":"2026-07-05T02:42:02Z"},{"alias_kind":"pith_short_8","alias_value":"OB3TTBA6","created_at":"2026-07-05T02:42:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:OB3TTBA6RVEADD34WMYJJ5QQ6Q","target":"record","payload":{"canonical_record":{"source":{"id":"2011.12406","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-11-24T21:33:01Z","cross_cats_sorted":[],"title_canon_sha256":"c377e55c8e8f30a85f5f1a677b12e91686a4fb257aea95bb51d2dd61c4788b14","abstract_canon_sha256":"cbcc5b56ff37c41ca439c11e37969c56132bb79d4327afc721b37fcd20647280"},"schema_version":"1.0"},"canonical_sha256":"707739841e8d48018f7cb33094f610f42476b1af429ff47105bd868f94a8ee36","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:42:02.868405Z","signature_b64":"XlvYInQVS0SZwpO4eO/IPwn8ugnRPPNuVLkczkVLTi2ndyjnLdMHtfOU8EOInk6CxShw4YJEW5u9zoEYiDrSBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"707739841e8d48018f7cb33094f610f42476b1af429ff47105bd868f94a8ee36","last_reissued_at":"2026-07-05T02:42:02.867905Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:42:02.867905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2011.12406","source_version":2,"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-05T02:42:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LUYeE2NvXhird1ooZxSqNDqHgHdF7wbRpBIo4hpc75zmmfBkpizj9HBqV+TPyxB3rZ6/+AAZ4BdgTbFiWXbnCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:50:22.599209Z"},"content_sha256":"745b7686cea329a5295af06b4ac73b94be63413aa8962e3fb2d7bec891ae9a69","schema_version":"1.0","event_id":"sha256:745b7686cea329a5295af06b4ac73b94be63413aa8962e3fb2d7bec891ae9a69"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:OB3TTBA6RVEADD34WMYJJ5QQ6Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Prediction-Based Reachability for Collision Avoidance in Autonomous Driving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Anjian Li, Liting Sun, Masayoshi Tomizuka, Mo Chen, Wei Zhan","submitted_at":"2020-11-24T21:33:01Z","abstract_excerpt":"Safety is an important topic in autonomous driving since any collision may cause serious injury to people and damage to property. Hamilton-Jacobi (HJ) Reachability is a formal method that verifies safety in multi-agent interaction and provides a safety controller for collision avoidance. However, due to the worst-case assumption on the cars future behaviours, reachability might result in too much conservatism such that the normal operation of the vehicle is badly hindered. In this paper, we leverage the power of trajectory prediction and propose a prediction-based reachability framework to com"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2011.12406","kind":"arxiv","version":2},"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/2011.12406/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-05T02:42:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y9G/jcM0H3zrCWcjjmcuMDQX1ygh0iSgtRD1YewjVDAI6lVMCs6bBy+TbupR3KgjVT3Tvk2uwwrzk9glrE1dAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:50:22.599714Z"},"content_sha256":"f38e8c3c191fa555c959c36bc3870c6ada9a840d556338476efb105251d944ca","schema_version":"1.0","event_id":"sha256:f38e8c3c191fa555c959c36bc3870c6ada9a840d556338476efb105251d944ca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OB3TTBA6RVEADD34WMYJJ5QQ6Q/bundle.json","state_url":"https://pith.science/pith/OB3TTBA6RVEADD34WMYJJ5QQ6Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OB3TTBA6RVEADD34WMYJJ5QQ6Q/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-08T11:50:22Z","links":{"resolver":"https://pith.science/pith/OB3TTBA6RVEADD34WMYJJ5QQ6Q","bundle":"https://pith.science/pith/OB3TTBA6RVEADD34WMYJJ5QQ6Q/bundle.json","state":"https://pith.science/pith/OB3TTBA6RVEADD34WMYJJ5QQ6Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OB3TTBA6RVEADD34WMYJJ5QQ6Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:OB3TTBA6RVEADD34WMYJJ5QQ6Q","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":"cbcc5b56ff37c41ca439c11e37969c56132bb79d4327afc721b37fcd20647280","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-11-24T21:33:01Z","title_canon_sha256":"c377e55c8e8f30a85f5f1a677b12e91686a4fb257aea95bb51d2dd61c4788b14"},"schema_version":"1.0","source":{"id":"2011.12406","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2011.12406","created_at":"2026-07-05T02:42:02Z"},{"alias_kind":"arxiv_version","alias_value":"2011.12406v2","created_at":"2026-07-05T02:42:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2011.12406","created_at":"2026-07-05T02:42:02Z"},{"alias_kind":"pith_short_12","alias_value":"OB3TTBA6RVEA","created_at":"2026-07-05T02:42:02Z"},{"alias_kind":"pith_short_16","alias_value":"OB3TTBA6RVEADD34","created_at":"2026-07-05T02:42:02Z"},{"alias_kind":"pith_short_8","alias_value":"OB3TTBA6","created_at":"2026-07-05T02:42:02Z"}],"graph_snapshots":[{"event_id":"sha256:f38e8c3c191fa555c959c36bc3870c6ada9a840d556338476efb105251d944ca","target":"graph","created_at":"2026-07-05T02:42:02Z","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/2011.12406/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Safety is an important topic in autonomous driving since any collision may cause serious injury to people and damage to property. Hamilton-Jacobi (HJ) Reachability is a formal method that verifies safety in multi-agent interaction and provides a safety controller for collision avoidance. However, due to the worst-case assumption on the cars future behaviours, reachability might result in too much conservatism such that the normal operation of the vehicle is badly hindered. In this paper, we leverage the power of trajectory prediction and propose a prediction-based reachability framework to com","authors_text":"Anjian Li, Liting Sun, Masayoshi Tomizuka, Mo Chen, Wei Zhan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-11-24T21:33:01Z","title":"Prediction-Based Reachability for Collision Avoidance in Autonomous Driving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2011.12406","kind":"arxiv","version":2},"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:745b7686cea329a5295af06b4ac73b94be63413aa8962e3fb2d7bec891ae9a69","target":"record","created_at":"2026-07-05T02:42:02Z","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":"cbcc5b56ff37c41ca439c11e37969c56132bb79d4327afc721b37fcd20647280","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-11-24T21:33:01Z","title_canon_sha256":"c377e55c8e8f30a85f5f1a677b12e91686a4fb257aea95bb51d2dd61c4788b14"},"schema_version":"1.0","source":{"id":"2011.12406","kind":"arxiv","version":2}},"canonical_sha256":"707739841e8d48018f7cb33094f610f42476b1af429ff47105bd868f94a8ee36","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"707739841e8d48018f7cb33094f610f42476b1af429ff47105bd868f94a8ee36","first_computed_at":"2026-07-05T02:42:02.867905Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:42:02.867905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XlvYInQVS0SZwpO4eO/IPwn8ugnRPPNuVLkczkVLTi2ndyjnLdMHtfOU8EOInk6CxShw4YJEW5u9zoEYiDrSBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:42:02.868405Z","signed_message":"canonical_sha256_bytes"},"source_id":"2011.12406","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:745b7686cea329a5295af06b4ac73b94be63413aa8962e3fb2d7bec891ae9a69","sha256:f38e8c3c191fa555c959c36bc3870c6ada9a840d556338476efb105251d944ca"],"state_sha256":"8d3243d11fcf23d9b47021158e9fe33bae817510aaaeae60bb8a3764990be007"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mPxatCWg+Y29JRuViIzYdlIRre+FvY7/8NVc07YzNIV1VCLmanKrSj1G8A4Q0d2I4/qHPsjSvdSnjsHBl1wLDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T11:50:22.604316Z","bundle_sha256":"10e47960f47d00b5bd7801eb53f7cd5e910fbb400c1c772b8c71f7048b22376c"}}