{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:REKZG3JHBHWQXTOHZJ3KJ7FNAO","short_pith_number":"pith:REKZG3JH","canonical_record":{"source":{"id":"2205.01419","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2022-05-03T11:12:29Z","cross_cats_sorted":["cs.CV","cs.FL","cs.LG","cs.SY","eess.SY"],"title_canon_sha256":"a87fe9f439bdb5473c5ddad0fda8d8d92e98fba7b306cc8836f060c91bff50d2","abstract_canon_sha256":"6bf1525559c8c1a44a6de5b9efa364ee8223a42160431524129808c06f805a8a"},"schema_version":"1.0"},"canonical_sha256":"8915936d2709ed0bcdc7ca76a4fcad0398134ee463ae0ce32f4ee4915ab0da3d","source":{"kind":"arxiv","id":"2205.01419","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.01419","created_at":"2026-07-05T04:20:04Z"},{"alias_kind":"arxiv_version","alias_value":"2205.01419v1","created_at":"2026-07-05T04:20:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.01419","created_at":"2026-07-05T04:20:04Z"},{"alias_kind":"pith_short_12","alias_value":"REKZG3JHBHWQ","created_at":"2026-07-05T04:20:04Z"},{"alias_kind":"pith_short_16","alias_value":"REKZG3JHBHWQXTOH","created_at":"2026-07-05T04:20:04Z"},{"alias_kind":"pith_short_8","alias_value":"REKZG3JH","created_at":"2026-07-05T04:20:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:REKZG3JHBHWQXTOHZJ3KJ7FNAO","target":"record","payload":{"canonical_record":{"source":{"id":"2205.01419","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2022-05-03T11:12:29Z","cross_cats_sorted":["cs.CV","cs.FL","cs.LG","cs.SY","eess.SY"],"title_canon_sha256":"a87fe9f439bdb5473c5ddad0fda8d8d92e98fba7b306cc8836f060c91bff50d2","abstract_canon_sha256":"6bf1525559c8c1a44a6de5b9efa364ee8223a42160431524129808c06f805a8a"},"schema_version":"1.0"},"canonical_sha256":"8915936d2709ed0bcdc7ca76a4fcad0398134ee463ae0ce32f4ee4915ab0da3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:20:04.510900Z","signature_b64":"rJmWVai+mnl/9CrMVAQtcr1Cda94eynKKDb8qzpGavvnnoUOMAoqMB40Zi8ZRA5/VVtskHYtNmLaQt/FEvNqBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8915936d2709ed0bcdc7ca76a4fcad0398134ee463ae0ce32f4ee4915ab0da3d","last_reissued_at":"2026-07-05T04:20:04.510371Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:20:04.510371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.01419","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-05T04:20:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uCJZlOQKFK3lFo5iB5tZhUCAjiL4RkDb/mpX74friMbujwevwY+IGJdQw12Iyek5Sdzayk5u/AS1KvGk3TpoDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T18:38:55.564482Z"},"content_sha256":"27f4c47ab09b11d35fbe9487d9b715e2b7cf58f23ad3aae11cca5584631099a4","schema_version":"1.0","event_id":"sha256:27f4c47ab09b11d35fbe9487d9b715e2b7cf58f23ad3aae11cca5584631099a4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:REKZG3JHBHWQXTOHZJ3KJ7FNAO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CV","cs.FL","cs.LG","cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Diego Manzanas Lopez, Nathaniel Hamilton, Patrick Musau, Preston Robinette, Taylor T. Johnson","submitted_at":"2022-05-03T11:12:29Z","abstract_excerpt":"Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near future. Despite tremendous advances within this context, fundamental challenges around safety and reliability are limiting their arrival and comprehensive adoption. Autonomous vehicles are often tasked with operating in dynamic and uncertain environments. As a result, they often make use of highly complex components, such as machine learning approaches, to handle the nuances of sensing, actuation, and control. While"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.01419","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/2205.01419/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-05T04:20:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WaaqBk+MRvRWwDrrRiFRoZeO9TqftW94LaJ+0ygS7DUT4bJX/DDp4/4mMkh6m8Tzxv4UTn70858ekTr4LxfaAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T18:38:55.564986Z"},"content_sha256":"a9fc48db2d81c3836e54ba6a1ab9983e2936137c99657627d929e7d3126845ee","schema_version":"1.0","event_id":"sha256:a9fc48db2d81c3836e54ba6a1ab9983e2936137c99657627d929e7d3126845ee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/REKZG3JHBHWQXTOHZJ3KJ7FNAO/bundle.json","state_url":"https://pith.science/pith/REKZG3JHBHWQXTOHZJ3KJ7FNAO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/REKZG3JHBHWQXTOHZJ3KJ7FNAO/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-15T18:38:55Z","links":{"resolver":"https://pith.science/pith/REKZG3JHBHWQXTOHZJ3KJ7FNAO","bundle":"https://pith.science/pith/REKZG3JHBHWQXTOHZJ3KJ7FNAO/bundle.json","state":"https://pith.science/pith/REKZG3JHBHWQXTOHZJ3KJ7FNAO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/REKZG3JHBHWQXTOHZJ3KJ7FNAO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:REKZG3JHBHWQXTOHZJ3KJ7FNAO","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":"6bf1525559c8c1a44a6de5b9efa364ee8223a42160431524129808c06f805a8a","cross_cats_sorted":["cs.CV","cs.FL","cs.LG","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2022-05-03T11:12:29Z","title_canon_sha256":"a87fe9f439bdb5473c5ddad0fda8d8d92e98fba7b306cc8836f060c91bff50d2"},"schema_version":"1.0","source":{"id":"2205.01419","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.01419","created_at":"2026-07-05T04:20:04Z"},{"alias_kind":"arxiv_version","alias_value":"2205.01419v1","created_at":"2026-07-05T04:20:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.01419","created_at":"2026-07-05T04:20:04Z"},{"alias_kind":"pith_short_12","alias_value":"REKZG3JHBHWQ","created_at":"2026-07-05T04:20:04Z"},{"alias_kind":"pith_short_16","alias_value":"REKZG3JHBHWQXTOH","created_at":"2026-07-05T04:20:04Z"},{"alias_kind":"pith_short_8","alias_value":"REKZG3JH","created_at":"2026-07-05T04:20:04Z"}],"graph_snapshots":[{"event_id":"sha256:a9fc48db2d81c3836e54ba6a1ab9983e2936137c99657627d929e7d3126845ee","target":"graph","created_at":"2026-07-05T04:20:04Z","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/2205.01419/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near future. Despite tremendous advances within this context, fundamental challenges around safety and reliability are limiting their arrival and comprehensive adoption. Autonomous vehicles are often tasked with operating in dynamic and uncertain environments. As a result, they often make use of highly complex components, such as machine learning approaches, to handle the nuances of sensing, actuation, and control. While","authors_text":"Diego Manzanas Lopez, Nathaniel Hamilton, Patrick Musau, Preston Robinette, Taylor T. Johnson","cross_cats":["cs.CV","cs.FL","cs.LG","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2022-05-03T11:12:29Z","title":"An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.01419","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:27f4c47ab09b11d35fbe9487d9b715e2b7cf58f23ad3aae11cca5584631099a4","target":"record","created_at":"2026-07-05T04:20:04Z","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":"6bf1525559c8c1a44a6de5b9efa364ee8223a42160431524129808c06f805a8a","cross_cats_sorted":["cs.CV","cs.FL","cs.LG","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2022-05-03T11:12:29Z","title_canon_sha256":"a87fe9f439bdb5473c5ddad0fda8d8d92e98fba7b306cc8836f060c91bff50d2"},"schema_version":"1.0","source":{"id":"2205.01419","kind":"arxiv","version":1}},"canonical_sha256":"8915936d2709ed0bcdc7ca76a4fcad0398134ee463ae0ce32f4ee4915ab0da3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8915936d2709ed0bcdc7ca76a4fcad0398134ee463ae0ce32f4ee4915ab0da3d","first_computed_at":"2026-07-05T04:20:04.510371Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:20:04.510371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rJmWVai+mnl/9CrMVAQtcr1Cda94eynKKDb8qzpGavvnnoUOMAoqMB40Zi8ZRA5/VVtskHYtNmLaQt/FEvNqBA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:20:04.510900Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.01419","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27f4c47ab09b11d35fbe9487d9b715e2b7cf58f23ad3aae11cca5584631099a4","sha256:a9fc48db2d81c3836e54ba6a1ab9983e2936137c99657627d929e7d3126845ee"],"state_sha256":"1cfe4da5ab612745c614de2f395660629dd202545a54762bdac0958f88403fc2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yDUNNs3ZkYCXDomW374QGNEj3oEvE6smmgnnE137I+F6EB0Hi+59jK8cvaliRAd229LNVbbvWJiHPmtSnCOgAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T18:38:55.568978Z","bundle_sha256":"496b5eb00cb0cef7885b9d6da4e4342829d39fd234d489349ae160903708bed5"}}