Formal Verification of Autonomous Vehicle Platooning.
Maryam KamaliLouise A. DennisOwen McAreeMichael FisherSandor M. VeresPublished in: CoRR (2016)
Keyphrases
- formal verification
- autonomous vehicles
- model checking
- path planning
- obstacle avoidance
- bounded model checking
- automated verification
- model checker
- robot control
- symbolic model checking
- multiagent systems
- program slicing
- complex environments
- lane detection
- mobile robot
- autonomous agents
- map building
- visual navigation
- temporal logic
- multi agent systems