{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:UBZ3YLYYS3XZMYC5KZZVMJDDSJ","short_pith_number":"pith:UBZ3YLYY","schema_version":"1.0","canonical_sha256":"a073bc2f1896ef96605d56735624639271ca1bd458f59499b1baf34f761ca49b","source":{"kind":"arxiv","id":"1709.02557","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1709.02557","created_at":"2026-05-18T00:35:45.380541+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.02557v1","created_at":"2026-05-18T00:35:45.380541+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.02557","created_at":"2026-05-18T00:35:45.380541+00:00"},{"alias_kind":"pith_short_12","alias_value":"UBZ3YLYYS3XZ","created_at":"2026-05-18T12:31:46.661854+00:00"},{"alias_kind":"pith_short_16","alias_value":"UBZ3YLYYS3XZMYC5","created_at":"2026-05-18T12:31:46.661854+00:00"},{"alias_kind":"pith_short_8","alias_value":"UBZ3YLYY","created_at":"2026-05-18T12:31:46.661854+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ","json":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ.json","graph_json":"https://pith.science/api/pith-number/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/graph.json","events_json":"https://pith.science/api/pith-number/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/events.json","paper":"https://pith.science/paper/UBZ3YLYY"},"agent_actions":{"view_html":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ","download_json":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ.json","view_paper":"https://pith.science/paper/UBZ3YLYY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.02557&json=true","fetch_graph":"https://pith.science/api/pith-number/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/graph.json","fetch_events":"https://pith.science/api/pith-number/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/action/storage_attestation","attest_author":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/action/author_attestation","sign_citation":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/action/citation_signature","submit_replication":"https://pith.science/pith/UBZ3YLYYS3XZMYC5KZZVMJDDSJ/action/replication_record"}},"created_at":"2026-05-18T00:35:45.380541+00:00","updated_at":"2026-05-18T00:35:45.380541+00:00"}