Synthesis of provably correct controllers for autonomous vehicles in urban environments.
Tichakorn WongpiromsarnSertac KaramanEmilio FrazzoliPublished in: ITSC (2011)
Keyphrases
- urban environments
- autonomous vehicles
- provably correct
- structured environments
- route planning
- formal methods
- situation calculus
- urban areas
- augmented reality
- obstacle avoidance
- control system
- path planning
- control strategy
- reinforcement learning
- autonomous agents
- evolutionary algorithm
- complex environments
- multi view
- mobile robot