Formal Verification of Autonomous Vehicle Platooning

Article, Preprint English OPEN
Kamali, Maryam; Dennis, Louise A; McAree, Owen; Fisher, Michael; Veres, Sandor M;
  • Publisher: Elsevier
  • Related identifiers: doi: 10.1016/j.scico.2017.05.006
  • Subject: Computer Science - Artificial Intelligence | Computer Science - Software Engineering

The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new autonomous behaviors of the vehicles in these platoons must be certified. An appropriate repr... View more
Share - Bookmark