{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:UBZ3YLYYS3XZMYC5KZZVMJDDSJ","short_pith_number":"pith:UBZ3YLYY","canonical_record":{"source":{"id":"1709.02557","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-08T06:35:30Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"ebdb9e11e5a96a62e71991a1614ce87ebd2efd0252e5a38d584a525070bae33c","abstract_canon_sha256":"6e287de7bfeb1f77d6fdea4b5f650e9e9e2f5198fd8e234e1af786b8858ebb62"},"schema_version":"1.0"},"canonical_sha256":"a073bc2f1896ef96605d56735624639271ca1bd458f59499b1baf34f761ca49b","source":{"kind":"arxiv","id":"1709.02557","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.02557","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"arxiv_version","alias_value":"1709.02557v1","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.02557","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"pith_short_12","alias_value":"UBZ3YLYYS3XZ","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"UBZ3YLYYS3XZMYC5","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"UBZ3YLYY","created_at":"2026-05-18T12:31:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:UBZ3YLYYS3XZMYC5KZZVMJDDSJ","target":"record","payload":{"canonical_record":{"source":{"id":"1709.02557","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-08T06:35:30Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"ebdb9e11e5a96a62e71991a1614ce87ebd2efd0252e5a38d584a525070bae33c","abstract_canon_sha256":"6e287de7bfeb1f77d6fdea4b5f650e9e9e2f5198fd8e234e1af786b8858ebb62"},"schema_version":"1.0"},"canonical_sha256":"a073bc2f1896ef96605d56735624639271ca1bd458f59499b1baf34f761ca49b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:45.381101Z","signature_b64":"6OHXl/a5kgiCi8ylm5SbYN46CHirPKGYrbPTMJBY2nqxgiW+arQsgX9451/eOHfjCXWlYsFloAZ/JdmotiLjDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a073bc2f1896ef96605d56735624639271ca1bd458f59499b1baf34f761ca49b","last_reissued_at":"2026-05-18T00:35:45.380426Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:45.380426Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.02557","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:35:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NbxWDWj1zhIyLDjjQV75wZH91vnWPLThEPrbhJao4Eoatae+v92f/fDr54wV+2PgX/6fpDYZuFn/KLnxosYFBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T02:55:20.895617Z"},"content_sha256":"f24e9d3cb2877c63b3fc3baa108b9605c6ca90cc1ebcf263874a528535ba9036","schema_version":"1.0","event_id":"sha256:f24e9d3cb2877c63b3fc3baa108b9605c6ca90cc1ebcf263874a528535ba9036"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:UBZ3YLYYS3XZMYC5KZZVMJDDSJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.LO","authors_text":"(2) University of Liverpool, Brazil, Gleifer V. Alves (1), Liverpool, Lucas E. R. Fernandes (1), Michael Fisher (2) ((1) UTFPR, Parana, Ponta Grossa, United Kingdom), Vinicius Custodio (1)","submitted_at":"2017-09-08T06:35:30Z","abstract_excerpt":"The development and deployment of Autonomous Vehicles (AVs) on our roads is not only realistic in the near future but can also bring significant benefits. In particular, it can potentially solve several problems relating to vehicles and traffic, for instance: (i) possible reduction of traffic congestion, with the consequence of improved fuel economy and reduced driver inactivity; (ii) possible reduction in the number of accidents, assuming that an AV can minimise the human errors that often cause traffic accidents; and (iii) increased ease of parking, especially when one considers the potentia"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.02557","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:35:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VXhbw0RD06fSHx68RLyzyCBn1n+U3PFTzXF7fSeyBgC2Der5D6wkOgxSrPU8DKZnCBeNsGgO+zrkDM//1ENeBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T02:55:20.896271Z"},"content_sha256":"7903815a459716d4ce29467c0676647aad9bdd9ba1e43020a9bf0b2fc162108b","schema_version":"1.0","event_id":"sha256:7903815a459716d4ce29467c0676647aad9bdd9ba1e43020a9bf0b2fc162108b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/bundle.json","state_url":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/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-04T02:55:20Z","links":{"resolver":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ","bundle":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/bundle.json","state":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:UBZ3YLYYS3XZMYC5KZZVMJDDSJ","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":"6e287de7bfeb1f77d6fdea4b5f650e9e9e2f5198fd8e234e1af786b8858ebb62","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-08T06:35:30Z","title_canon_sha256":"ebdb9e11e5a96a62e71991a1614ce87ebd2efd0252e5a38d584a525070bae33c"},"schema_version":"1.0","source":{"id":"1709.02557","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.02557","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"arxiv_version","alias_value":"1709.02557v1","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.02557","created_at":"2026-05-18T00:35:45Z"},{"alias_kind":"pith_short_12","alias_value":"UBZ3YLYYS3XZ","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"UBZ3YLYYS3XZMYC5","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"UBZ3YLYY","created_at":"2026-05-18T12:31:46Z"}],"graph_snapshots":[{"event_id":"sha256:7903815a459716d4ce29467c0676647aad9bdd9ba1e43020a9bf0b2fc162108b","target":"graph","created_at":"2026-05-18T00:35:45Z","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 development and deployment of Autonomous Vehicles (AVs) on our roads is not only realistic in the near future but can also bring significant benefits. In particular, it can potentially solve several problems relating to vehicles and traffic, for instance: (i) possible reduction of traffic congestion, with the consequence of improved fuel economy and reduced driver inactivity; (ii) possible reduction in the number of accidents, assuming that an AV can minimise the human errors that often cause traffic accidents; and (iii) increased ease of parking, especially when one considers the potentia","authors_text":"(2) University of Liverpool, Brazil, Gleifer V. Alves (1), Liverpool, Lucas E. R. Fernandes (1), Michael Fisher (2) ((1) UTFPR, Parana, Ponta Grossa, United Kingdom), Vinicius Custodio (1)","cross_cats":["cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-08T06:35:30Z","title":"A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.02557","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:f24e9d3cb2877c63b3fc3baa108b9605c6ca90cc1ebcf263874a528535ba9036","target":"record","created_at":"2026-05-18T00:35:45Z","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":"6e287de7bfeb1f77d6fdea4b5f650e9e9e2f5198fd8e234e1af786b8858ebb62","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-08T06:35:30Z","title_canon_sha256":"ebdb9e11e5a96a62e71991a1614ce87ebd2efd0252e5a38d584a525070bae33c"},"schema_version":"1.0","source":{"id":"1709.02557","kind":"arxiv","version":1}},"canonical_sha256":"a073bc2f1896ef96605d56735624639271ca1bd458f59499b1baf34f761ca49b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a073bc2f1896ef96605d56735624639271ca1bd458f59499b1baf34f761ca49b","first_computed_at":"2026-05-18T00:35:45.380426Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:45.380426Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6OHXl/a5kgiCi8ylm5SbYN46CHirPKGYrbPTMJBY2nqxgiW+arQsgX9451/eOHfjCXWlYsFloAZ/JdmotiLjDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:45.381101Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.02557","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f24e9d3cb2877c63b3fc3baa108b9605c6ca90cc1ebcf263874a528535ba9036","sha256:7903815a459716d4ce29467c0676647aad9bdd9ba1e43020a9bf0b2fc162108b"],"state_sha256":"9df1fb50cb3d38acd8fbda5e613d52d656bf24e8fe9f25237cddf694cfc09606"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+ueO0PwZNsfZhkXpIJl9cDpgCaSC6J5YjNC4cgImYvXQtkCHwPiC7NOgKMRmC+jPl4qpHgIVRtwnFzVg7fAdAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T02:55:20.899442Z","bundle_sha256":"2333c0e59d9e20adab35a095f857b18448c10bf7e5d2a2c40136b1d56c7f4d47"}}