Formal Verification of Autonomous Vehicle Platooning (2017)
Attributed to:
Verifiable Autonomy
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://www.researchgate.net/publication/301854477_Formal_Verification_of_Autonomous_Vehicle_Platooning
Type: Technical Report