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

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/).
Dates:
  • 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: https://doi.org/10.1016/j.scico.2017.05.006
Status: Published online
Publisher: Elsevier
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.scico.2017.05.006
Related URLs:

Share / Export

Statistics