Formal verification of autonomous vehicle platooning
- Submitting institution
-
The University of Manchester
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 173520270
- Type
- D - Journal article
- DOI
-
10.1016/j.scico.2017.05.006
- Title of journal
- Science of Computer Programming
- Article number
- -
- First page
- 88
- Volume
- 148
- Issue
- -
- ISSN
- 0167-6423
- Open access status
- Compliant
- Month of publication
- June
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
4
- Research group(s)
-
A - Computer Science
- Citation count
- 34
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- "This paper describes the verification of algorithms controlling autonomous vehicle platoons/convoys.
Led to several academic visits (for example Gleifer Vaz Alves 2018), was referenced as motivation for ""Second Workshop on Trust in the Age of Automated Driving"" (DOI: 10.1145/3239092.3239099).
Led to involvement in policy documents such as ""Certification of Highly Automated Vehicles for Use on UK Roads: Creating An Industry-Wide Framework for Safety"" (Five AI Ltd, 2019).
This is an area of high visibility, and the paper is often cited advocating the verification of these systems, with one of the co-authors now working directly in the Connected Autonomous Vehicles industry."
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
