Formal verification of autonomous vehicle platooning

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

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
URI: http://datacat.liverpool.ac.uk/id/eprint/241

Available Files

Read me