Just-in-time synthesis for reactive motion planning with temporal logic.
Scott C. LivingstonRichard M. MurrayPublished in: ICRA (2013)
Keyphrases
- motion planning
- temporal logic
- reactive systems
- model checking
- degrees of freedom
- path planning
- trajectory planning
- mobile robot
- modal logic
- robot arm
- satisfiability problem
- humanoid robot
- robotic tasks
- verification method
- obstacle avoidance
- computation tree logic
- concurrent systems
- robotic arm
- multi robot
- autonomous mobile robot
- mechanical systems
- belief revision
- multi modal
- linear temporal logic
- belief space
- configuration space
- temporal knowledge
- dynamic constraints
- temporally extended
- multi agent
- finite state
- mazurkiewicz traces