Formal verification of autonomous vehicle platooning.
Maryam KamaliLouise A. DennisOwen McAreeMichael FisherSandor M. VeresPublished in: Sci. Comput. Program. (2017)
Keyphrases
- formal verification
- autonomous vehicles
- model checking
- path planning
- obstacle avoidance
- model checker
- symbolic model checking
- bounded model checking
- automated verification
- robot control
- visual navigation
- program slicing
- multiagent systems
- autonomous agents
- mobile robot
- web services
- parameter tuning
- temporal logic
- map building
- lane detection
- multi modal
- machine learning
- neural network