Formal verification of autonomous vehicle platooning

Kamali, Maryam, Dennis, Louise and Fisher, Michael (2017) Formal verification of autonomous vehicle platooning. [Data Collection]

Description

This dataset contains: - BDI agent codes that are used for simulation and testing of autonomous vehicle platooning - properties of agent codes that are verified using AJPF - time-automata model of platooning in Uppaal - translation from an agent code to an automaton

Keywords:	formal verification, hybrid agent architecture, BDI agent program, autonomous vehicle platooning, Uppaal
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Maryam Kamali
Date Deposited:	25 Jan 2017 10:40
Last Modified:	25 Jan 2017 10:40
DOI:	10.17638/datacat.liverpool.ac.uk/241
URI:	https://datacat.liverpool.ac.uk/id/eprint/241
Additional details Additional details Creators: Kamali, Maryam Dennis, Louise Fisher, Michael Research funder: Grant Number Name of the Funder The Funder's ID EP/L000458/1 Engineering and Physical Science Research Council 172 Date: 24 January 2017 Statement on legal, ethical and access issues : No legal, ethical and access issues Resource language: English Project Details: The title of the Project Verifiable Autonomy Publisher: University of Liverpool Contact email address: maryam.kamali@liverpool.ac.uk Last Modified: 25 Jan 2017 10:40

DataCat Staff

Statistics

Available Files

Read me

AgentPlatooning.zip AgentPlatooning.zip AgentPlatooning.zip Visible to: Anyone Content type: README file Metadata Revision: 2 Mime-Type: application/zip License: Creative Commons: Attribution 4.0 File size: 1MB Creative Commons: Attribution 4.0

Metadata Export

MODSSimple MetadataBibTeXMPEG-21 DIDLMETSReference ManagerAtomSimple MetadataSimple MetadataData Cite XMLOpenURL ContextObject in SpanEP3 XMLRDF+XMLOpenURL ContextObjectASCII CitationEndNoteReferJSONRDF+N-TriplesDublin CoreHTML CitationMultiline CSVRDF+N3