{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:MN5ZEXKM632S5PHSSKUYD3RMDZ","short_pith_number":"pith:MN5ZEXKM","canonical_record":{"source":{"id":"1804.06647","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-18T10:50:57Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"77bf946c6b71461f96fda35611883cae203ba43297d3f8f7eb130ec309a8566b","abstract_canon_sha256":"f8ba8fbcf22a34b355075d01f6c055abeca8a5c5d3bc21434504f10891dcf328"},"schema_version":"1.0"},"canonical_sha256":"637b925d4cf6f52ebcf292a981ee2c1e552c4a4cf49c1966c141417e9e2de1eb","source":{"kind":"arxiv","id":"1804.06647","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.06647","created_at":"2026-05-18T00:18:06Z"},{"alias_kind":"arxiv_version","alias_value":"1804.06647v1","created_at":"2026-05-18T00:18:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.06647","created_at":"2026-05-18T00:18:06Z"},{"alias_kind":"pith_short_12","alias_value":"MN5ZEXKM632S","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"MN5ZEXKM632S5PHS","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"MN5ZEXKM","created_at":"2026-05-18T12:32:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:MN5ZEXKM632S5PHSSKUYD3RMDZ","target":"record","payload":{"canonical_record":{"source":{"id":"1804.06647","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-18T10:50:57Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"77bf946c6b71461f96fda35611883cae203ba43297d3f8f7eb130ec309a8566b","abstract_canon_sha256":"f8ba8fbcf22a34b355075d01f6c055abeca8a5c5d3bc21434504f10891dcf328"},"schema_version":"1.0"},"canonical_sha256":"637b925d4cf6f52ebcf292a981ee2c1e552c4a4cf49c1966c141417e9e2de1eb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:06.143003Z","signature_b64":"kxTeCCAyEbsW0VLzPRd96eV8z5E3LlMYSLtwLeqfNG1uGxy33Ll5fGKdJClxagRZJ3iC0kYYh1+zQLaWRT90Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"637b925d4cf6f52ebcf292a981ee2c1e552c4a4cf49c1966c141417e9e2de1eb","last_reissued_at":"2026-05-18T00:18:06.142378Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:06.142378Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.06647","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:18:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kLHTO/KfdBdNqz0RKxSO3eR0T25Am79eHj3QpeVXsx5UPE73oLJmvjwCHch9RT1Fll6fhJaX9Q05AzT8nskoCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T02:31:12.223742Z"},"content_sha256":"365adf98d50eddd67f1472e6a8e40a3f6525c6dd688eb1bf7137b1e68391fd95","schema_version":"1.0","event_id":"sha256:365adf98d50eddd67f1472e6a8e40a3f6525c6dd688eb1bf7137b1e68391fd95"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:MN5ZEXKM632S5PHSSKUYD3RMDZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.AI","authors_text":"Maryam Kamali, Michael Fisher, Sven Linker","submitted_at":"2018-04-18T10:50:57Z","abstract_excerpt":"The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to public uncertainty over these new technologies. However, the complex nature of such systems, for example, the intricate combination of discrete and continuous aspects, ensures that whole system verification is often infeasible. This motivates the need for novel analysis approaches that modularise the problem, allowing us to restrict our analysis to one particular aspect of the system while abstracting away from other"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.06647","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:18:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r3fs8NbceBMg6IQxxPvhHXOowPIfdVnoeiNoR0p8hpiowEjGz3RX18i/f91Jz5IHUwMbIir4We9tWmF8Bm0xCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T02:31:12.224082Z"},"content_sha256":"db31fb9903a73f89434253837a5af8763d9a6a43496ec1e10893cd51436ecca8","schema_version":"1.0","event_id":"sha256:db31fb9903a73f89434253837a5af8763d9a6a43496ec1e10893cd51436ecca8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MN5ZEXKM632S5PHSSKUYD3RMDZ/bundle.json","state_url":"https://pith.science/pith/MN5ZEXKM632S5PHSSKUYD3RMDZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MN5ZEXKM632S5PHSSKUYD3RMDZ/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-06T02:31:12Z","links":{"resolver":"https://pith.science/pith/MN5ZEXKM632S5PHSSKUYD3RMDZ","bundle":"https://pith.science/pith/MN5ZEXKM632S5PHSSKUYD3RMDZ/bundle.json","state":"https://pith.science/pith/MN5ZEXKM632S5PHSSKUYD3RMDZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MN5ZEXKM632S5PHSSKUYD3RMDZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:MN5ZEXKM632S5PHSSKUYD3RMDZ","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":"f8ba8fbcf22a34b355075d01f6c055abeca8a5c5d3bc21434504f10891dcf328","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-18T10:50:57Z","title_canon_sha256":"77bf946c6b71461f96fda35611883cae203ba43297d3f8f7eb130ec309a8566b"},"schema_version":"1.0","source":{"id":"1804.06647","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.06647","created_at":"2026-05-18T00:18:06Z"},{"alias_kind":"arxiv_version","alias_value":"1804.06647v1","created_at":"2026-05-18T00:18:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.06647","created_at":"2026-05-18T00:18:06Z"},{"alias_kind":"pith_short_12","alias_value":"MN5ZEXKM632S","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"MN5ZEXKM632S5PHS","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"MN5ZEXKM","created_at":"2026-05-18T12:32:37Z"}],"graph_snapshots":[{"event_id":"sha256:db31fb9903a73f89434253837a5af8763d9a6a43496ec1e10893cd51436ecca8","target":"graph","created_at":"2026-05-18T00:18:06Z","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":"The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to public uncertainty over these new technologies. However, the complex nature of such systems, for example, the intricate combination of discrete and continuous aspects, ensures that whole system verification is often infeasible. This motivates the need for novel analysis approaches that modularise the problem, allowing us to restrict our analysis to one particular aspect of the system while abstracting away from other","authors_text":"Maryam Kamali, Michael Fisher, Sven Linker","cross_cats":["cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-18T10:50:57Z","title":"Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.06647","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:365adf98d50eddd67f1472e6a8e40a3f6525c6dd688eb1bf7137b1e68391fd95","target":"record","created_at":"2026-05-18T00:18:06Z","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":"f8ba8fbcf22a34b355075d01f6c055abeca8a5c5d3bc21434504f10891dcf328","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-18T10:50:57Z","title_canon_sha256":"77bf946c6b71461f96fda35611883cae203ba43297d3f8f7eb130ec309a8566b"},"schema_version":"1.0","source":{"id":"1804.06647","kind":"arxiv","version":1}},"canonical_sha256":"637b925d4cf6f52ebcf292a981ee2c1e552c4a4cf49c1966c141417e9e2de1eb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"637b925d4cf6f52ebcf292a981ee2c1e552c4a4cf49c1966c141417e9e2de1eb","first_computed_at":"2026-05-18T00:18:06.142378Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:06.142378Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kxTeCCAyEbsW0VLzPRd96eV8z5E3LlMYSLtwLeqfNG1uGxy33Ll5fGKdJClxagRZJ3iC0kYYh1+zQLaWRT90Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:06.143003Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.06647","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:365adf98d50eddd67f1472e6a8e40a3f6525c6dd688eb1bf7137b1e68391fd95","sha256:db31fb9903a73f89434253837a5af8763d9a6a43496ec1e10893cd51436ecca8"],"state_sha256":"74f3729275fdf489aa2e9a9d5e0bd780e715721ccd2acb2927788e16363df0f6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IRsnW93aFuO2ih5MJ3/1/6uNVysOLzHDIe9U/92iMtmBSiJIEX8HyCWXJhkO5UdXcgNEp1ljwupJ4Pget0PWDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T02:31:12.226257Z","bundle_sha256":"e1ed7d0b4bb2f843760f700d2adbfe10a6520a7d9df906b16298448986a54d1d"}}