Motion-planning with linear temporal logic specifications for a nonholonomic vehicle kinematic model.
Raghvendra V. CowlagiZetian ZhangPublished in: ACC (2016)
Keyphrases
- motion planning
- kinematic model
- linear temporal logic
- bounded model checking
- temporal logic
- model checking
- degrees of freedom
- mobile robot
- mechanical systems
- trajectory planning
- path planning
- transition systems
- humanoid robot
- multi robot
- formal specification
- control law
- concurrent systems
- three dimensional
- pose estimation
- specification language
- obstacle avoidance
- machine learning