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. ISSN 0167-6423



  • 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 (
  • Accepted: 30 May 2017
  • Published (online): 14 June 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: 03 Aug 2017 04:43
Published Version:
Status: Published online
Publisher: Elsevier
Refereed: Yes
Identification Number:
Related URLs:

Share / Export