Formal verification of autonomous vehicle platooning

Kamali, M., Dennis, L.A., McAree, O. et al. (2 more authors) (2017) Formal verification of autonomous vehicle platooning. Science of Computer Programming, 148. pp. 88-106. ISSN 0167-6423

Abstract

Metadata

Item Type: Article
Authors/Creators:
  • Kamali, M.
  • Dennis, L.A.
  • McAree, O.
  • Fisher, M.
  • Veres, S.M.
Copyright, Publisher and Additional Information:

© 2017 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).

Keywords: Vehicle platooning; Agent programming; Model checking
Dates:
  • Published: 15 November 2017
  • Published (online): 14 June 2017
  • Accepted: 30 May 2017
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 08 Nov 2016 15:46
Last Modified: 18 Aug 2023 11:54
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: 10.1016/j.scico.2017.05.006
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics