Motion-planning with global temporal logic specifications for multiple nonholonomic robotic vehicles.
Zetian ZhangRaghvendra V. CowlagiPublished in: ACC (2016)
Keyphrases
- motion planning
- temporal logic
- mobile robot
- robotic tasks
- robotic arm
- model checking
- concurrent systems
- manipulation tasks
- degrees of freedom
- path planning
- transition systems
- trajectory planning
- modal logic
- bounded model checking
- formal specification language
- humanoid robot
- model checker
- multi robot
- robot arm
- obstacle avoidance
- belief space
- configuration space
- reactive systems
- control law
- collision free
- formal specification
- verification method
- computation tree logic
- real time
- inverse kinematics
- robotic systems
- linear temporal logic
- belief revision
- climbing robot
- temporal knowledge
- collision avoidance