Formal Verification of Autonomous Vehicle Platooning

no code implementations • 4 Feb 2016 • Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres

However, as the formal verification technique used to verify the agent code does not scale to the full system and as the global verification technique does not capture the essential verification of autonomous behavior, we use a combination of the two approaches.

Autonomous Vehicles Decision Making