A Formally Verified Motion Planner for Autonomous Vehicles.
Albert RizaldiFabian ImmlerBastian SchürmannMatthias AlthoffPublished in: ATVA (2018)
Keyphrases
- autonomous vehicles
- path planning
- structured environments
- image sequences
- motion planning
- moving objects
- motion estimation
- obstacle avoidance
- optical flow
- human motion
- route planning
- robot control
- humanoid robot
- complex environments
- multiagent systems
- neural network
- fuzzy sets
- fuzzy logic
- cooperative
- decision making
- machine learning