{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:56ELQNE7KZSYW6FVG7WFJBYFOP","short_pith_number":"pith:56ELQNE7","canonical_record":{"source":{"id":"1807.01262","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-07-03T16:15:18Z","cross_cats_sorted":[],"title_canon_sha256":"537af9597cbaef0c0293e4421dced7477eceacfe02c311934e079c3bd0c4bad5","abstract_canon_sha256":"b6ae61ef74bb4a4a4a484b09e376df0728eb85b82631217c5f6e746e7f803c32"},"schema_version":"1.0"},"canonical_sha256":"ef88b8349f56658b78b537ec54870573cea2fffdbc6dfb0243864c16661b113a","source":{"kind":"arxiv","id":"1807.01262","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.01262","created_at":"2026-05-17T23:47:03Z"},{"alias_kind":"arxiv_version","alias_value":"1807.01262v3","created_at":"2026-05-17T23:47:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.01262","created_at":"2026-05-17T23:47:03Z"},{"alias_kind":"pith_short_12","alias_value":"56ELQNE7KZSY","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"56ELQNE7KZSYW6FV","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"56ELQNE7","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:56ELQNE7KZSYW6FVG7WFJBYFOP","target":"record","payload":{"canonical_record":{"source":{"id":"1807.01262","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-07-03T16:15:18Z","cross_cats_sorted":[],"title_canon_sha256":"537af9597cbaef0c0293e4421dced7477eceacfe02c311934e079c3bd0c4bad5","abstract_canon_sha256":"b6ae61ef74bb4a4a4a484b09e376df0728eb85b82631217c5f6e746e7f803c32"},"schema_version":"1.0"},"canonical_sha256":"ef88b8349f56658b78b537ec54870573cea2fffdbc6dfb0243864c16661b113a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:03.118562Z","signature_b64":"2nTZITNOKKqZoP5Mit4gNafcMCxjIm4OEyALp04FFMVJ7eMY7OSSKySocyISK564OBbKxvzWFNMAMOrE+uTbAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ef88b8349f56658b78b537ec54870573cea2fffdbc6dfb0243864c16661b113a","last_reissued_at":"2026-05-17T23:47:03.118013Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:03.118013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.01262","source_version":3,"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-05-17T23:47:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2UQGFwVhy2m35HOFUyMpYz2Tggb2GLiItymDZK5sDWhZmau5yLZdp+93hLSL/BIf47AWtKoPyX5k/SG02utUBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T06:04:40.597524Z"},"content_sha256":"1adeb20ecc208472423a5bc271c7cda9128fe0db605e152c946e535bff9f8a0d","schema_version":"1.0","event_id":"sha256:1adeb20ecc208472423a5bc271c7cda9128fe0db605e152c946e535bff9f8a0d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:56ELQNE7KZSYW6FVG7WFJBYFOP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tackling Occlusions & Limited Sensor Range with Set-based Safety Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Annika Meyer, Martin Lauer, Piotr Franciszek Orzechowski","submitted_at":"2018-07-03T16:15:18Z","abstract_excerpt":"Provable safety is one of the most critical challenges in automated driving. The behavior of numerous traffic participants in a scene cannot be predicted reliably due to complex interdependencies and the indiscriminate behavior of humans. Additionally, we face high uncertainties and only incomplete environment knowledge. Recent approaches minimize risk with probabilistic and machine learning methods - even under occlusions. These generate comfortable behavior with good traffic flow, but cannot guarantee safety of their maneuvers.\n  Therefore, we contribute a safety verification method for traj"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.01262","kind":"arxiv","version":3},"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"},"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-05-17T23:47:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4V8PfVYpvUcNpLHZez4DCEB3ox+naMwJbpo9UpSG+A7e+yfIjTpqhZ3Efrj/D7D6xqAtMjHZeiakLLRqdvZYCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T06:04:40.597871Z"},"content_sha256":"a3130019dfb07a77b36272f1c73a9facde3af185c3b5f64b1b55c95852ee0d87","schema_version":"1.0","event_id":"sha256:a3130019dfb07a77b36272f1c73a9facde3af185c3b5f64b1b55c95852ee0d87"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/56ELQNE7KZSYW6FVG7WFJBYFOP/bundle.json","state_url":"https://pith.science/pith/56ELQNE7KZSYW6FVG7WFJBYFOP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/56ELQNE7KZSYW6FVG7WFJBYFOP/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-06-04T06:04:40Z","links":{"resolver":"https://pith.science/pith/56ELQNE7KZSYW6FVG7WFJBYFOP","bundle":"https://pith.science/pith/56ELQNE7KZSYW6FVG7WFJBYFOP/bundle.json","state":"https://pith.science/pith/56ELQNE7KZSYW6FVG7WFJBYFOP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/56ELQNE7KZSYW6FVG7WFJBYFOP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:56ELQNE7KZSYW6FVG7WFJBYFOP","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":"b6ae61ef74bb4a4a4a484b09e376df0728eb85b82631217c5f6e746e7f803c32","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-07-03T16:15:18Z","title_canon_sha256":"537af9597cbaef0c0293e4421dced7477eceacfe02c311934e079c3bd0c4bad5"},"schema_version":"1.0","source":{"id":"1807.01262","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.01262","created_at":"2026-05-17T23:47:03Z"},{"alias_kind":"arxiv_version","alias_value":"1807.01262v3","created_at":"2026-05-17T23:47:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.01262","created_at":"2026-05-17T23:47:03Z"},{"alias_kind":"pith_short_12","alias_value":"56ELQNE7KZSY","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"56ELQNE7KZSYW6FV","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"56ELQNE7","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:a3130019dfb07a77b36272f1c73a9facde3af185c3b5f64b1b55c95852ee0d87","target":"graph","created_at":"2026-05-17T23:47:03Z","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"},"paper":{"abstract_excerpt":"Provable safety is one of the most critical challenges in automated driving. The behavior of numerous traffic participants in a scene cannot be predicted reliably due to complex interdependencies and the indiscriminate behavior of humans. Additionally, we face high uncertainties and only incomplete environment knowledge. Recent approaches minimize risk with probabilistic and machine learning methods - even under occlusions. These generate comfortable behavior with good traffic flow, but cannot guarantee safety of their maneuvers.\n  Therefore, we contribute a safety verification method for traj","authors_text":"Annika Meyer, Martin Lauer, Piotr Franciszek Orzechowski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-07-03T16:15:18Z","title":"Tackling Occlusions & Limited Sensor Range with Set-based Safety Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.01262","kind":"arxiv","version":3},"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:1adeb20ecc208472423a5bc271c7cda9128fe0db605e152c946e535bff9f8a0d","target":"record","created_at":"2026-05-17T23:47:03Z","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":"b6ae61ef74bb4a4a4a484b09e376df0728eb85b82631217c5f6e746e7f803c32","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-07-03T16:15:18Z","title_canon_sha256":"537af9597cbaef0c0293e4421dced7477eceacfe02c311934e079c3bd0c4bad5"},"schema_version":"1.0","source":{"id":"1807.01262","kind":"arxiv","version":3}},"canonical_sha256":"ef88b8349f56658b78b537ec54870573cea2fffdbc6dfb0243864c16661b113a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ef88b8349f56658b78b537ec54870573cea2fffdbc6dfb0243864c16661b113a","first_computed_at":"2026-05-17T23:47:03.118013Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:03.118013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2nTZITNOKKqZoP5Mit4gNafcMCxjIm4OEyALp04FFMVJ7eMY7OSSKySocyISK564OBbKxvzWFNMAMOrE+uTbAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:03.118562Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.01262","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1adeb20ecc208472423a5bc271c7cda9128fe0db605e152c946e535bff9f8a0d","sha256:a3130019dfb07a77b36272f1c73a9facde3af185c3b5f64b1b55c95852ee0d87"],"state_sha256":"4a4bba4b17025d7fda2c42cbb8fa2fd458fddb8230e1c6f16a05e3e7a966f9f5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fDffrZRfd2e1UurRwbAgNE3I20NWyc8JBrDrk5ubJaQo9P1gxcennc+IeqahBDIwbGdeh6bnroIS4ojv3f3yDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T06:04:40.599864Z","bundle_sha256":"6fcab7afb6bdd95466e504964cc54ba6c88031592dd2a64151fe0f24a60842c0"}}