{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:RGHOGGFECUKHVFDS2ZPLAA6EME","short_pith_number":"pith:RGHOGGFE","canonical_record":{"source":{"id":"1802.08327","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-22T22:17:39Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"d57c9b3b58ae9d639efa81b2b22e9d85b0d9c0a08b61935e5b1a7714ef15168c","abstract_canon_sha256":"766910955b5f7efc6726199a4ce5baf1091512563a2e340728e88766977fe804"},"schema_version":"1.0"},"canonical_sha256":"898ee318a415147a9472d65eb003c4612108a2d6a7faaa45df3a323c543bb3f2","source":{"kind":"arxiv","id":"1802.08327","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.08327","created_at":"2026-05-18T00:22:43Z"},{"alias_kind":"arxiv_version","alias_value":"1802.08327v1","created_at":"2026-05-18T00:22:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08327","created_at":"2026-05-18T00:22:43Z"},{"alias_kind":"pith_short_12","alias_value":"RGHOGGFECUKH","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"RGHOGGFECUKHVFDS","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"RGHOGGFE","created_at":"2026-05-18T12:32:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:RGHOGGFECUKHVFDS2ZPLAA6EME","target":"record","payload":{"canonical_record":{"source":{"id":"1802.08327","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-22T22:17:39Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"d57c9b3b58ae9d639efa81b2b22e9d85b0d9c0a08b61935e5b1a7714ef15168c","abstract_canon_sha256":"766910955b5f7efc6726199a4ce5baf1091512563a2e340728e88766977fe804"},"schema_version":"1.0"},"canonical_sha256":"898ee318a415147a9472d65eb003c4612108a2d6a7faaa45df3a323c543bb3f2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:43.967281Z","signature_b64":"EB7J+hP9rjl5jAk6vLPaND3THENK1G9gnwRMr5Yxgb6LBlrWdVqaFttOaEqhNgu69a+U2WuW8ykfukYu712nBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"898ee318a415147a9472d65eb003c4612108a2d6a7faaa45df3a323c543bb3f2","last_reissued_at":"2026-05-18T00:22:43.966907Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:43.966907Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.08327","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-05-18T00:22:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rg78XjSNBpXqVvhHIKmtien2FbUNkx+ynfpurBEOP/rX+cbR0bWadwXa2ycIZNrF2lWbH8Lj+EesxTjpfIMXBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T19:16:49.979885Z"},"content_sha256":"cda01de38cce5a190981d3f1a4d399b223c8c77941bbf83b2eef22c7b5ea791f","schema_version":"1.0","event_id":"sha256:cda01de38cce5a190981d3f1a4d399b223c8c77941bbf83b2eef22c7b5ea791f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:RGHOGGFECUKHVFDS2ZPLAA6EME","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","cs.SY"],"primary_cat":"cs.SE","authors_text":"Mario Gleirscher, Stefan Kugele","submitted_at":"2018-02-22T22:17:39Z","abstract_excerpt":"Vehicle safety depends on (a) the range of identified hazards and (b) the operational situations for which mitigations of these hazards are acceptably decreasing risk. Moreover, with an increasing degree of autonomy, risk ownership is likely to increase for vendors towards regulatory certification. Hence, highly automated vehicles have to be equipped with verified controllers capable of reliably identifying and mitigating hazards in all possible operational situations. To this end, available methods for the design and verification of automated vehicle controllers have to be supported by models"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.08327","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"},"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-18T00:22:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xN3x3HGbeLa7iSueuXQJP0fGwsZoHcY6dIQ2SAzkALje8ex5CQxUlDRzTkmx7q3VyA7k0bHZoj+8A74Pkz9OCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T19:16:49.980523Z"},"content_sha256":"fe70fe1756dac1add3a6724dbcbd3a9cbd1fa618e2f1252d71a752d0b2c100fb","schema_version":"1.0","event_id":"sha256:fe70fe1756dac1add3a6724dbcbd3a9cbd1fa618e2f1252d71a752d0b2c100fb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME/bundle.json","state_url":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RGHOGGFECUKHVFDS2ZPLAA6EME/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-06T19:16:49Z","links":{"resolver":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME","bundle":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME/bundle.json","state":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RGHOGGFECUKHVFDS2ZPLAA6EME/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:RGHOGGFECUKHVFDS2ZPLAA6EME","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":"766910955b5f7efc6726199a4ce5baf1091512563a2e340728e88766977fe804","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-22T22:17:39Z","title_canon_sha256":"d57c9b3b58ae9d639efa81b2b22e9d85b0d9c0a08b61935e5b1a7714ef15168c"},"schema_version":"1.0","source":{"id":"1802.08327","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.08327","created_at":"2026-05-18T00:22:43Z"},{"alias_kind":"arxiv_version","alias_value":"1802.08327v1","created_at":"2026-05-18T00:22:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08327","created_at":"2026-05-18T00:22:43Z"},{"alias_kind":"pith_short_12","alias_value":"RGHOGGFECUKH","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"RGHOGGFECUKHVFDS","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"RGHOGGFE","created_at":"2026-05-18T12:32:50Z"}],"graph_snapshots":[{"event_id":"sha256:fe70fe1756dac1add3a6724dbcbd3a9cbd1fa618e2f1252d71a752d0b2c100fb","target":"graph","created_at":"2026-05-18T00:22:43Z","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":"Vehicle safety depends on (a) the range of identified hazards and (b) the operational situations for which mitigations of these hazards are acceptably decreasing risk. Moreover, with an increasing degree of autonomy, risk ownership is likely to increase for vendors towards regulatory certification. Hence, highly automated vehicles have to be equipped with verified controllers capable of reliably identifying and mitigating hazards in all possible operational situations. To this end, available methods for the design and verification of automated vehicle controllers have to be supported by models","authors_text":"Mario Gleirscher, Stefan Kugele","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-22T22:17:39Z","title":"From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.08327","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:cda01de38cce5a190981d3f1a4d399b223c8c77941bbf83b2eef22c7b5ea791f","target":"record","created_at":"2026-05-18T00:22:43Z","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":"766910955b5f7efc6726199a4ce5baf1091512563a2e340728e88766977fe804","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-22T22:17:39Z","title_canon_sha256":"d57c9b3b58ae9d639efa81b2b22e9d85b0d9c0a08b61935e5b1a7714ef15168c"},"schema_version":"1.0","source":{"id":"1802.08327","kind":"arxiv","version":1}},"canonical_sha256":"898ee318a415147a9472d65eb003c4612108a2d6a7faaa45df3a323c543bb3f2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"898ee318a415147a9472d65eb003c4612108a2d6a7faaa45df3a323c543bb3f2","first_computed_at":"2026-05-18T00:22:43.966907Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:43.966907Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EB7J+hP9rjl5jAk6vLPaND3THENK1G9gnwRMr5Yxgb6LBlrWdVqaFttOaEqhNgu69a+U2WuW8ykfukYu712nBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:43.967281Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.08327","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cda01de38cce5a190981d3f1a4d399b223c8c77941bbf83b2eef22c7b5ea791f","sha256:fe70fe1756dac1add3a6724dbcbd3a9cbd1fa618e2f1252d71a752d0b2c100fb"],"state_sha256":"d41ac3b650033b6ab922d0ba8facc73db2fae510e127156284e929f333ac2f4d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UGHYzNfLfquOYp5SpspeK2+9fEC3nwvvKvg5lWklZ2Z9Zn2L39jkQ6J5lxOdO4sarcH93WOHOTcNCUNgs4EuAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T19:16:49.983743Z","bundle_sha256":"2398904dde93d0b1685b664a1f0bafcfe0217a1efbd52bedd6dc8899512806b3"}}