Temporal Logic Motion Planning for Mobile Robots.
Georgios E. FainekosHadas Kress-GazitGeorge J. PappasPublished in: ICRA (2005)
Keyphrases
- motion planning
- temporal logic
- mobile robot
- model checking
- path planning
- trajectory planning
- multi robot
- obstacle avoidance
- modal logic
- dynamic environments
- robotic tasks
- satisfiability problem
- degrees of freedom
- robotic arm
- autonomous mobile robot
- autonomous robots
- temporal knowledge
- belief space
- concurrent systems
- belief revision
- linear temporal logic
- bounded model checking
- mazurkiewicz traces
- collision free
- unknown environments
- motion control
- configuration space
- verification method
- collision avoidance
- computation tree logic
- search algorithm
- mechanical systems
- humanoid robot
- robotic systems
- climbing robot
- transition systems
- temporally extended
- multi modal
- automata theoretic
- high dimensional