{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:RGHOGGFECUKHVFDS2ZPLAA6EME","short_pith_number":"pith:RGHOGGFE","schema_version":"1.0","canonical_sha256":"898ee318a415147a9472d65eb003c4612108a2d6a7faaa45df3a323c543bb3f2","source":{"kind":"arxiv","id":"1802.08327","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1802.08327","created_at":"2026-05-18T00:22:43.966964+00:00"},{"alias_kind":"arxiv_version","alias_value":"1802.08327v1","created_at":"2026-05-18T00:22:43.966964+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.08327","created_at":"2026-05-18T00:22:43.966964+00:00"},{"alias_kind":"pith_short_12","alias_value":"RGHOGGFECUKH","created_at":"2026-05-18T12:32:50.500415+00:00"},{"alias_kind":"pith_short_16","alias_value":"RGHOGGFECUKHVFDS","created_at":"2026-05-18T12:32:50.500415+00:00"},{"alias_kind":"pith_short_8","alias_value":"RGHOGGFE","created_at":"2026-05-18T12:32:50.500415+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME","json":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME.json","graph_json":"https://pith.science/api/pith-number/RGHOGGFECUKHVFDS2ZPLAA6EME/graph.json","events_json":"https://pith.science/api/pith-number/RGHOGGFECUKHVFDS2ZPLAA6EME/events.json","paper":"https://pith.science/paper/RGHOGGFE"},"agent_actions":{"view_html":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME","download_json":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME.json","view_paper":"https://pith.science/paper/RGHOGGFE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1802.08327&json=true","fetch_graph":"https://pith.science/api/pith-number/RGHOGGFECUKHVFDS2ZPLAA6EME/graph.json","fetch_events":"https://pith.science/api/pith-number/RGHOGGFECUKHVFDS2ZPLAA6EME/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME/action/storage_attestation","attest_author":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME/action/author_attestation","sign_citation":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME/action/citation_signature","submit_replication":"https://pith.science/pith/RGHOGGFECUKHVFDS2ZPLAA6EME/action/replication_record"}},"created_at":"2026-05-18T00:22:43.966964+00:00","updated_at":"2026-05-18T00:22:43.966964+00:00"}