{"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"}