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

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:
  • Accepted: 30 May 2017
  • Published (online): 14 June 2017
  • Published: 15 November 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: https://doi.org/10.1016/j.scico.2017.05.006
Related URLs:

Export

Statistics