{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:LU3K73NYCSGES2LAWB6WFQ6A7F","short_pith_number":"pith:LU3K73NY","canonical_record":{"source":{"id":"2109.06478","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2021-09-14T07:20:56Z","cross_cats_sorted":["cs.LO","cs.SE"],"title_canon_sha256":"91c51bf7891ef8f080096985563e5dc4231715a88ccccb96622ced7db71fcfd0","abstract_canon_sha256":"4416a0c1abff027ec6c5b5bc01d73c7daa9b3659e98ccb44f861764228538016"},"schema_version":"1.0"},"canonical_sha256":"5d36afedb8148c496960b07d62c3c0f95d69437e00e532ac329edf0e6560402e","source":{"kind":"arxiv","id":"2109.06478","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.06478","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"arxiv_version","alias_value":"2109.06478v1","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.06478","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_12","alias_value":"LU3K73NYCSGE","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_16","alias_value":"LU3K73NYCSGES2LA","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_8","alias_value":"LU3K73NY","created_at":"2026-07-05T03:13:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:LU3K73NYCSGES2LAWB6WFQ6A7F","target":"record","payload":{"canonical_record":{"source":{"id":"2109.06478","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2021-09-14T07:20:56Z","cross_cats_sorted":["cs.LO","cs.SE"],"title_canon_sha256":"91c51bf7891ef8f080096985563e5dc4231715a88ccccb96622ced7db71fcfd0","abstract_canon_sha256":"4416a0c1abff027ec6c5b5bc01d73c7daa9b3659e98ccb44f861764228538016"},"schema_version":"1.0"},"canonical_sha256":"5d36afedb8148c496960b07d62c3c0f95d69437e00e532ac329edf0e6560402e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:13:54.797566Z","signature_b64":"MAEkGSTr077MKCN4CosvcpDwMR4tbZC3Sat3VT8kwLXZOCChhXVWJtfvZpU/YIkXXZJDVklap/UEdsdVgq/zCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5d36afedb8148c496960b07d62c3c0f95d69437e00e532ac329edf0e6560402e","last_reissued_at":"2026-07-05T03:13:54.797183Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:13:54.797183Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2109.06478","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-05T03:13:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QtgCc4zOhF5hL/GQ4DIUeZC2N36ZsoEOmoswySpT5LQ3PtAGOs4Vc/y8h2riKkEcBjlX+vdcjVCpmRBr9ccVBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T13:43:52.945974Z"},"content_sha256":"97a9aa5d9333026bee438235072d44d2a7e5d242a6aee0981e85b811504f5de1","schema_version":"1.0","event_id":"sha256:97a9aa5d9333026bee438235072d44d2a7e5d242a6aee0981e85b811504f5de1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:LU3K73NYCSGES2LAWB6WFQ6A7F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","cs.SE"],"primary_cat":"cs.MA","authors_text":"Joseph Sifakis, Marius Bozga","submitted_at":"2021-09-14T07:20:56Z","abstract_excerpt":"Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a multilevel semantic framework for the specification of ADS and discusses associated validation problems. The framework relies on a formal definition of maps modeling the physical environment in which vehicles evolve. Maps are directed metric graphs whose nodes represent positions and edges represent segments of roads. We study basic properties of maps including their geometric consistency. Furthermore, we study positio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.06478","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/2109.06478/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-05T03:13:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dbwn6PlPNnuaDYSv14N/9PUfHowroKBq3e8UrRslYTeVe+qdCFu7owqyrDt85tHY7rUU0MmHnx3UXjzcW9j0Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T13:43:52.946648Z"},"content_sha256":"f078f0582f736f808e36a96a54017506f79a9f56719e03ecd7a89b1ce0aa7a0b","schema_version":"1.0","event_id":"sha256:f078f0582f736f808e36a96a54017506f79a9f56719e03ecd7a89b1ce0aa7a0b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LU3K73NYCSGES2LAWB6WFQ6A7F/bundle.json","state_url":"https://pith.science/pith/LU3K73NYCSGES2LAWB6WFQ6A7F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LU3K73NYCSGES2LAWB6WFQ6A7F/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-21T13:43:52Z","links":{"resolver":"https://pith.science/pith/LU3K73NYCSGES2LAWB6WFQ6A7F","bundle":"https://pith.science/pith/LU3K73NYCSGES2LAWB6WFQ6A7F/bundle.json","state":"https://pith.science/pith/LU3K73NYCSGES2LAWB6WFQ6A7F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LU3K73NYCSGES2LAWB6WFQ6A7F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:LU3K73NYCSGES2LAWB6WFQ6A7F","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":"4416a0c1abff027ec6c5b5bc01d73c7daa9b3659e98ccb44f861764228538016","cross_cats_sorted":["cs.LO","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2021-09-14T07:20:56Z","title_canon_sha256":"91c51bf7891ef8f080096985563e5dc4231715a88ccccb96622ced7db71fcfd0"},"schema_version":"1.0","source":{"id":"2109.06478","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.06478","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"arxiv_version","alias_value":"2109.06478v1","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.06478","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_12","alias_value":"LU3K73NYCSGE","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_16","alias_value":"LU3K73NYCSGES2LA","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_8","alias_value":"LU3K73NY","created_at":"2026-07-05T03:13:54Z"}],"graph_snapshots":[{"event_id":"sha256:f078f0582f736f808e36a96a54017506f79a9f56719e03ecd7a89b1ce0aa7a0b","target":"graph","created_at":"2026-07-05T03:13:54Z","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/2109.06478/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a multilevel semantic framework for the specification of ADS and discusses associated validation problems. The framework relies on a formal definition of maps modeling the physical environment in which vehicles evolve. Maps are directed metric graphs whose nodes represent positions and edges represent segments of roads. We study basic properties of maps including their geometric consistency. Furthermore, we study positio","authors_text":"Joseph Sifakis, Marius Bozga","cross_cats":["cs.LO","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2021-09-14T07:20:56Z","title":"Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.06478","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:97a9aa5d9333026bee438235072d44d2a7e5d242a6aee0981e85b811504f5de1","target":"record","created_at":"2026-07-05T03:13:54Z","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":"4416a0c1abff027ec6c5b5bc01d73c7daa9b3659e98ccb44f861764228538016","cross_cats_sorted":["cs.LO","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2021-09-14T07:20:56Z","title_canon_sha256":"91c51bf7891ef8f080096985563e5dc4231715a88ccccb96622ced7db71fcfd0"},"schema_version":"1.0","source":{"id":"2109.06478","kind":"arxiv","version":1}},"canonical_sha256":"5d36afedb8148c496960b07d62c3c0f95d69437e00e532ac329edf0e6560402e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5d36afedb8148c496960b07d62c3c0f95d69437e00e532ac329edf0e6560402e","first_computed_at":"2026-07-05T03:13:54.797183Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:13:54.797183Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MAEkGSTr077MKCN4CosvcpDwMR4tbZC3Sat3VT8kwLXZOCChhXVWJtfvZpU/YIkXXZJDVklap/UEdsdVgq/zCg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:13:54.797566Z","signed_message":"canonical_sha256_bytes"},"source_id":"2109.06478","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:97a9aa5d9333026bee438235072d44d2a7e5d242a6aee0981e85b811504f5de1","sha256:f078f0582f736f808e36a96a54017506f79a9f56719e03ecd7a89b1ce0aa7a0b"],"state_sha256":"496e978f6403ba96997e7c97c251f009ac5a18f576ce95d2ea555c363a23c9cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m1SWzCUPz0KQPTxvm5xibrQ6cPV2Zipeo5fa+jVpzsaZjKO+EzKy4uNyJUC5UjRz1JSIv6+ywBxHhX0K6EovBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T13:43:52.952028Z","bundle_sha256":"9f42364e8724bcd7cd3db8019ee9122e061239beb3db96c45e2cf87b1a48807e"}}