{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:KDVPIRAIFPBYIKC2WICXJJ4FBU","short_pith_number":"pith:KDVPIRAI","schema_version":"1.0","canonical_sha256":"50eaf444082bc384285ab20574a7850d2e240e9bcc50e31e9e96fd3c2c836783","source":{"kind":"arxiv","id":"2202.02818","version":2},"attestation_state":"computed","paper":{"title":"Formal Certification Methods for Automated Vehicle Safety Assessment","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Ekim Yurtsever, Giorgio Rizzoni, Joel Paulson, Tong Zhao","submitted_at":"2022-02-06T17:13:15Z","abstract_excerpt":"Challenges related to automated driving are no longer focused on just the construction of such automated vehicles (AVs), but in assuring the safety of their operation. Recent advances in Level 3 and Level 4 autonomous driving have motivated more extensive study in safety guarantees of complicated AV maneuvers, which aligns with the goal of ISO 21448 (Safety of the Intended Functions, or SOTIF), i.e. minimizing unsafe scenarios both known and unknown, as well as Vision Zero -- eliminating highway fatalities by 2050. A majority of approaches used in providing safety guarantees for AV motion cont"},"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":"2202.02818","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2022-02-06T17:13:15Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"0c79aeb6cf6662b915cfc2cfbb653b5c0bd5bdfceaf23ee5f95eba6c3022a31f","abstract_canon_sha256":"6ebb04407392d2271621c1c28c7a08745d2d1275e33b4c2595ae7fab6320572a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:20:54.370609Z","signature_b64":"PQQ8/kzz2GGPBJDK4nLZocT8NWBrtifPPQqK2g7p4iPSgrXY/z2LctRaJM9MmVhXCW9sf01p9w1KvGSuHIqLDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"50eaf444082bc384285ab20574a7850d2e240e9bcc50e31e9e96fd3c2c836783","last_reissued_at":"2026-07-05T04:20:54.370036Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:20:54.370036Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Formal Certification Methods for Automated Vehicle Safety Assessment","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Ekim Yurtsever, Giorgio Rizzoni, Joel Paulson, Tong Zhao","submitted_at":"2022-02-06T17:13:15Z","abstract_excerpt":"Challenges related to automated driving are no longer focused on just the construction of such automated vehicles (AVs), but in assuring the safety of their operation. Recent advances in Level 3 and Level 4 autonomous driving have motivated more extensive study in safety guarantees of complicated AV maneuvers, which aligns with the goal of ISO 21448 (Safety of the Intended Functions, or SOTIF), i.e. minimizing unsafe scenarios both known and unknown, as well as Vision Zero -- eliminating highway fatalities by 2050. A majority of approaches used in providing safety guarantees for AV motion cont"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.02818","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/2202.02818/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2202.02818","created_at":"2026-07-05T04:20:54.370099+00:00"},{"alias_kind":"arxiv_version","alias_value":"2202.02818v2","created_at":"2026-07-05T04:20:54.370099+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.02818","created_at":"2026-07-05T04:20:54.370099+00:00"},{"alias_kind":"pith_short_12","alias_value":"KDVPIRAIFPBY","created_at":"2026-07-05T04:20:54.370099+00:00"},{"alias_kind":"pith_short_16","alias_value":"KDVPIRAIFPBYIKC2","created_at":"2026-07-05T04:20:54.370099+00:00"},{"alias_kind":"pith_short_8","alias_value":"KDVPIRAI","created_at":"2026-07-05T04:20:54.370099+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/KDVPIRAIFPBYIKC2WICXJJ4FBU","json":"https://pith.science/pith/KDVPIRAIFPBYIKC2WICXJJ4FBU.json","graph_json":"https://pith.science/api/pith-number/KDVPIRAIFPBYIKC2WICXJJ4FBU/graph.json","events_json":"https://pith.science/api/pith-number/KDVPIRAIFPBYIKC2WICXJJ4FBU/events.json","paper":"https://pith.science/paper/KDVPIRAI"},"agent_actions":{"view_html":"https://pith.science/pith/KDVPIRAIFPBYIKC2WICXJJ4FBU","download_json":"https://pith.science/pith/KDVPIRAIFPBYIKC2WICXJJ4FBU.json","view_paper":"https://pith.science/paper/KDVPIRAI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2202.02818&json=true","fetch_graph":"https://pith.science/api/pith-number/KDVPIRAIFPBYIKC2WICXJJ4FBU/graph.json","fetch_events":"https://pith.science/api/pith-number/KDVPIRAIFPBYIKC2WICXJJ4FBU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KDVPIRAIFPBYIKC2WICXJJ4FBU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KDVPIRAIFPBYIKC2WICXJJ4FBU/action/storage_attestation","attest_author":"https://pith.science/pith/KDVPIRAIFPBYIKC2WICXJJ4FBU/action/author_attestation","sign_citation":"https://pith.science/pith/KDVPIRAIFPBYIKC2WICXJJ4FBU/action/citation_signature","submit_replication":"https://pith.science/pith/KDVPIRAIFPBYIKC2WICXJJ4FBU/action/replication_record"}},"created_at":"2026-07-05T04:20:54.370099+00:00","updated_at":"2026-07-05T04:20:54.370099+00:00"}