{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:ABH56KZ5HE6QWT6EYLRPIZO6NG","short_pith_number":"pith:ABH56KZ5","canonical_record":{"source":{"id":"1602.01718","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-02-04T15:50:22Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"87026a9a5a2b892a7d4619599fd24dd9a91ae9feb3185352f2a0538ba0700cd5","abstract_canon_sha256":"5aed26a93b8621b1ec3a4cb8d163b8fd5200cb354841a03eb1c2e720cc99a7f6"},"schema_version":"1.0"},"canonical_sha256":"004fdf2b3d393d0b4fc4c2e2f465de6992b10ebeffc42efc7f44474b10fb8c02","source":{"kind":"arxiv","id":"1602.01718","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.01718","created_at":"2026-05-18T01:21:18Z"},{"alias_kind":"arxiv_version","alias_value":"1602.01718v1","created_at":"2026-05-18T01:21:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.01718","created_at":"2026-05-18T01:21:18Z"},{"alias_kind":"pith_short_12","alias_value":"ABH56KZ5HE6Q","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"ABH56KZ5HE6QWT6E","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"ABH56KZ5","created_at":"2026-05-18T12:30:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:ABH56KZ5HE6QWT6EYLRPIZO6NG","target":"record","payload":{"canonical_record":{"source":{"id":"1602.01718","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-02-04T15:50:22Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"87026a9a5a2b892a7d4619599fd24dd9a91ae9feb3185352f2a0538ba0700cd5","abstract_canon_sha256":"5aed26a93b8621b1ec3a4cb8d163b8fd5200cb354841a03eb1c2e720cc99a7f6"},"schema_version":"1.0"},"canonical_sha256":"004fdf2b3d393d0b4fc4c2e2f465de6992b10ebeffc42efc7f44474b10fb8c02","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:21:18.272355Z","signature_b64":"fnhlu7e2zQTPeTC0Xm5j0AMXcxYvwzZyFsUlun9BeyuIrfoI2FzJaT4FWZ0mryxLeDP5vKM5h+wTJEKJUsDFBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"004fdf2b3d393d0b4fc4c2e2f465de6992b10ebeffc42efc7f44474b10fb8c02","last_reissued_at":"2026-05-18T01:21:18.271710Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:21:18.271710Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.01718","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-18T01:21:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BDBfcvpDZlq1VBTh51/t9bSu4mAGACzUFftXTKRHUD8bVfYhr91H2I76bgqBRCRvYiYk9tlx3TxMziT3gAw4Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T20:26:22.101470Z"},"content_sha256":"c6372c64e2404bc0e771f46ac539405fc6deb85982deeef2ad39a4c071038206","schema_version":"1.0","event_id":"sha256:c6372c64e2404bc0e771f46ac539405fc6deb85982deeef2ad39a4c071038206"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:ABH56KZ5HE6QWT6EYLRPIZO6NG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Verification of Autonomous Vehicle Platooning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.AI","authors_text":"Louise A. Dennis, Maryam Kamali, Michael Fisher, Owen McAree, Sandor M. Veres","submitted_at":"2016-02-04T15:50:22Z","abstract_excerpt":"The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new autonomous behaviors of the vehicles in these platoons must be certified. An appropriate representation for vehicle platooning is as a multi-agent system in which each agent captures the \"autonomous decisions\" carried out by each vehicle. In order to ensure that these autonomous decision-making agents in vehicle platoons never violate safety requirements, we use formal verification. However, as the formal verification t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.01718","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-18T01:21:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aBj3HQ1EVVpYmw0Fp61dEQBu7JN8WDWLwB/kP/dqafMlOHIkhaZVSDHDOGIqbcSbhEdAODjgBLzu8+gihfZJDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T20:26:22.102124Z"},"content_sha256":"611822c994d6fc93af72c399d20b50e8fe13eb2ae94779b350b207d7376f2660","schema_version":"1.0","event_id":"sha256:611822c994d6fc93af72c399d20b50e8fe13eb2ae94779b350b207d7376f2660"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ABH56KZ5HE6QWT6EYLRPIZO6NG/bundle.json","state_url":"https://pith.science/pith/ABH56KZ5HE6QWT6EYLRPIZO6NG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ABH56KZ5HE6QWT6EYLRPIZO6NG/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-05-30T20:26:22Z","links":{"resolver":"https://pith.science/pith/ABH56KZ5HE6QWT6EYLRPIZO6NG","bundle":"https://pith.science/pith/ABH56KZ5HE6QWT6EYLRPIZO6NG/bundle.json","state":"https://pith.science/pith/ABH56KZ5HE6QWT6EYLRPIZO6NG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ABH56KZ5HE6QWT6EYLRPIZO6NG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:ABH56KZ5HE6QWT6EYLRPIZO6NG","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":"5aed26a93b8621b1ec3a4cb8d163b8fd5200cb354841a03eb1c2e720cc99a7f6","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-02-04T15:50:22Z","title_canon_sha256":"87026a9a5a2b892a7d4619599fd24dd9a91ae9feb3185352f2a0538ba0700cd5"},"schema_version":"1.0","source":{"id":"1602.01718","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.01718","created_at":"2026-05-18T01:21:18Z"},{"alias_kind":"arxiv_version","alias_value":"1602.01718v1","created_at":"2026-05-18T01:21:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.01718","created_at":"2026-05-18T01:21:18Z"},{"alias_kind":"pith_short_12","alias_value":"ABH56KZ5HE6Q","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"ABH56KZ5HE6QWT6E","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"ABH56KZ5","created_at":"2026-05-18T12:30:04Z"}],"graph_snapshots":[{"event_id":"sha256:611822c994d6fc93af72c399d20b50e8fe13eb2ae94779b350b207d7376f2660","target":"graph","created_at":"2026-05-18T01:21:18Z","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 coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new autonomous behaviors of the vehicles in these platoons must be certified. An appropriate representation for vehicle platooning is as a multi-agent system in which each agent captures the \"autonomous decisions\" carried out by each vehicle. In order to ensure that these autonomous decision-making agents in vehicle platoons never violate safety requirements, we use formal verification. However, as the formal verification t","authors_text":"Louise A. Dennis, Maryam Kamali, Michael Fisher, Owen McAree, Sandor M. Veres","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-02-04T15:50:22Z","title":"Formal Verification of Autonomous Vehicle Platooning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.01718","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:c6372c64e2404bc0e771f46ac539405fc6deb85982deeef2ad39a4c071038206","target":"record","created_at":"2026-05-18T01:21:18Z","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":"5aed26a93b8621b1ec3a4cb8d163b8fd5200cb354841a03eb1c2e720cc99a7f6","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-02-04T15:50:22Z","title_canon_sha256":"87026a9a5a2b892a7d4619599fd24dd9a91ae9feb3185352f2a0538ba0700cd5"},"schema_version":"1.0","source":{"id":"1602.01718","kind":"arxiv","version":1}},"canonical_sha256":"004fdf2b3d393d0b4fc4c2e2f465de6992b10ebeffc42efc7f44474b10fb8c02","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"004fdf2b3d393d0b4fc4c2e2f465de6992b10ebeffc42efc7f44474b10fb8c02","first_computed_at":"2026-05-18T01:21:18.271710Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:21:18.271710Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fnhlu7e2zQTPeTC0Xm5j0AMXcxYvwzZyFsUlun9BeyuIrfoI2FzJaT4FWZ0mryxLeDP5vKM5h+wTJEKJUsDFBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:21:18.272355Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.01718","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c6372c64e2404bc0e771f46ac539405fc6deb85982deeef2ad39a4c071038206","sha256:611822c994d6fc93af72c399d20b50e8fe13eb2ae94779b350b207d7376f2660"],"state_sha256":"0610b6e7f968a667a282fba40c6aaa694bac5dbf6e1dc0cc1a651ba8ad73cfa9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q3hDewVAxyPgrP+GyjJppW5g2vLb4XeEvfrY1U31ErWiDVA0nV/KpeG7xFT4baLkDtZsc4y0GHeLB/3cxDE4BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T20:26:22.105944Z","bundle_sha256":"b99670b63023b98168b9418a72c22aae80f628c5005f6a7d5b2e270e96df035a"}}