{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:GI4VCE6NDT3Z5W2DXEQKSSFZNF","short_pith_number":"pith:GI4VCE6N","canonical_record":{"source":{"id":"2104.05305","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MA","submitted_at":"2021-04-12T09:25:35Z","cross_cats_sorted":["cs.CL","cs.SY","eess.SY"],"title_canon_sha256":"f149b3364371580dcd694fcb0c287453ab141067efa8fb96e697e022342940ae","abstract_canon_sha256":"39dd7785547f1bb9725d898cdd91487d5fb38191fc9e0cadace75a63bf0abe3b"},"schema_version":"1.0"},"canonical_sha256":"32395113cd1cf79edb43b920a948b9697c5cab422f46713bbc016765bae55830","source":{"kind":"arxiv","id":"2104.05305","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.05305","created_at":"2026-07-05T02:31:10Z"},{"alias_kind":"arxiv_version","alias_value":"2104.05305v1","created_at":"2026-07-05T02:31:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.05305","created_at":"2026-07-05T02:31:10Z"},{"alias_kind":"pith_short_12","alias_value":"GI4VCE6NDT3Z","created_at":"2026-07-05T02:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"GI4VCE6NDT3Z5W2D","created_at":"2026-07-05T02:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"GI4VCE6N","created_at":"2026-07-05T02:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:GI4VCE6NDT3Z5W2DXEQKSSFZNF","target":"record","payload":{"canonical_record":{"source":{"id":"2104.05305","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MA","submitted_at":"2021-04-12T09:25:35Z","cross_cats_sorted":["cs.CL","cs.SY","eess.SY"],"title_canon_sha256":"f149b3364371580dcd694fcb0c287453ab141067efa8fb96e697e022342940ae","abstract_canon_sha256":"39dd7785547f1bb9725d898cdd91487d5fb38191fc9e0cadace75a63bf0abe3b"},"schema_version":"1.0"},"canonical_sha256":"32395113cd1cf79edb43b920a948b9697c5cab422f46713bbc016765bae55830","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:31:10.921561Z","signature_b64":"DpAyCc8JynVzKreFjwAolGa8cPN+dB72iIRBCsaDJKMto3NcqHIPaCxrO1KewqprQFybZtlToTPlNgx4pYzZBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"32395113cd1cf79edb43b920a948b9697c5cab422f46713bbc016765bae55830","last_reissued_at":"2026-07-05T02:31:10.921135Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:31:10.921135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2104.05305","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-05T02:31:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4X03qkvufW9ZpmSn7eKU1WGbChP4p8wEJ27RROH8kmSDy1OjDWf8Nk978xSp3SoAJ/tmLUqvwOUtDQ9+cYnuAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T03:12:39.929853Z"},"content_sha256":"0bf5925292b3762d330ba93b123f18aac4d500e243cc64cde6a083c58edb0274","schema_version":"1.0","event_id":"sha256:0bf5925292b3762d330ba93b123f18aac4d500e243cc64cde6a083c58edb0274"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:GI4VCE6NDT3Z5W2DXEQKSSFZNF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CL","cs.SY","eess.SY"],"primary_cat":"cs.MA","authors_text":"Alberto Sangiovanni-Vincentelli, Alois Knoll, Corvin Deboeser, David Eckhoff, Jordan Ivanchev, Thomas Braud","submitted_at":"2021-04-12T09:25:35Z","abstract_excerpt":"This paper introduces the SEAD framework that simplifies the process of designing and describing autonomous vehicle platooning manoeuvres. Although a large body of research has been formulating platooning manoeuvres, it is still challenging to design, describe, read, and understand them. This difficulty largely arises from missing formalisation. To fill this gap, we analysed existing ways of describing manoeuvres, derived the causes of difficulty, and designed a framework that simplifies the manoeuvre design process. Alongside, a Manoeuvre Design Language was developed to structurally describe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.05305","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/2104.05305/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-05T02:31:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"US0UM/xNbGB1p/m613nbHfijtePZ5Nxp/1ILJflVUsclbxGnjNuOOurgAsTUnLPyeRf7JbhEhuarx2i9XIDFBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T03:12:39.930342Z"},"content_sha256":"e504cdf62b2dffbf4b3d40fef5e087959bce79d1d66b0deb463a2d9166bb530f","schema_version":"1.0","event_id":"sha256:e504cdf62b2dffbf4b3d40fef5e087959bce79d1d66b0deb463a2d9166bb530f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF/bundle.json","state_url":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF/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-07-09T03:12:39Z","links":{"resolver":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF","bundle":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF/bundle.json","state":"https://pith.science/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GI4VCE6NDT3Z5W2DXEQKSSFZNF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:GI4VCE6NDT3Z5W2DXEQKSSFZNF","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":"39dd7785547f1bb9725d898cdd91487d5fb38191fc9e0cadace75a63bf0abe3b","cross_cats_sorted":["cs.CL","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MA","submitted_at":"2021-04-12T09:25:35Z","title_canon_sha256":"f149b3364371580dcd694fcb0c287453ab141067efa8fb96e697e022342940ae"},"schema_version":"1.0","source":{"id":"2104.05305","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.05305","created_at":"2026-07-05T02:31:10Z"},{"alias_kind":"arxiv_version","alias_value":"2104.05305v1","created_at":"2026-07-05T02:31:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.05305","created_at":"2026-07-05T02:31:10Z"},{"alias_kind":"pith_short_12","alias_value":"GI4VCE6NDT3Z","created_at":"2026-07-05T02:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"GI4VCE6NDT3Z5W2D","created_at":"2026-07-05T02:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"GI4VCE6N","created_at":"2026-07-05T02:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:e504cdf62b2dffbf4b3d40fef5e087959bce79d1d66b0deb463a2d9166bb530f","target":"graph","created_at":"2026-07-05T02:31:10Z","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/2104.05305/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper introduces the SEAD framework that simplifies the process of designing and describing autonomous vehicle platooning manoeuvres. Although a large body of research has been formulating platooning manoeuvres, it is still challenging to design, describe, read, and understand them. This difficulty largely arises from missing formalisation. To fill this gap, we analysed existing ways of describing manoeuvres, derived the causes of difficulty, and designed a framework that simplifies the manoeuvre design process. Alongside, a Manoeuvre Design Language was developed to structurally describe","authors_text":"Alberto Sangiovanni-Vincentelli, Alois Knoll, Corvin Deboeser, David Eckhoff, Jordan Ivanchev, Thomas Braud","cross_cats":["cs.CL","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MA","submitted_at":"2021-04-12T09:25:35Z","title":"A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.05305","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:0bf5925292b3762d330ba93b123f18aac4d500e243cc64cde6a083c58edb0274","target":"record","created_at":"2026-07-05T02:31:10Z","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":"39dd7785547f1bb9725d898cdd91487d5fb38191fc9e0cadace75a63bf0abe3b","cross_cats_sorted":["cs.CL","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.MA","submitted_at":"2021-04-12T09:25:35Z","title_canon_sha256":"f149b3364371580dcd694fcb0c287453ab141067efa8fb96e697e022342940ae"},"schema_version":"1.0","source":{"id":"2104.05305","kind":"arxiv","version":1}},"canonical_sha256":"32395113cd1cf79edb43b920a948b9697c5cab422f46713bbc016765bae55830","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"32395113cd1cf79edb43b920a948b9697c5cab422f46713bbc016765bae55830","first_computed_at":"2026-07-05T02:31:10.921135Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:31:10.921135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DpAyCc8JynVzKreFjwAolGa8cPN+dB72iIRBCsaDJKMto3NcqHIPaCxrO1KewqprQFybZtlToTPlNgx4pYzZBw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:31:10.921561Z","signed_message":"canonical_sha256_bytes"},"source_id":"2104.05305","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0bf5925292b3762d330ba93b123f18aac4d500e243cc64cde6a083c58edb0274","sha256:e504cdf62b2dffbf4b3d40fef5e087959bce79d1d66b0deb463a2d9166bb530f"],"state_sha256":"995483e67025f1321d83600e79b496fb348cb94be9ccae43aa956a627cc13e7e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+iCCiDYllcI5TK5kqwjHRwB3h7+coXLsFQtBdEWNSnBEeHUrMZpFqAqW0i5UgbigY2xhYWdiuXI6j+qhJ0zaDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T03:12:39.932506Z","bundle_sha256":"8eb02428e45d744bb67101d6efe48f07da0e394a47cdad0b18de4a0c93e2f20c"}}