Temporal logic motion planning for dynamic robots.
Georgios E. FainekosAntoine GirardHadas Kress-GazitGeorge J. PappasPublished in: Autom. (2009)
Keyphrases
- qualitative differential equations
- motion planning
- temporal logic
- collision free
- mobile robot
- multi robot
- humanoid robot
- path planning
- manipulation tasks
- degrees of freedom
- dynamic environments
- model checking
- trajectory planning
- robot arm
- modal logic
- satisfiability problem
- robotic tasks
- concurrent systems
- robotic arm
- autonomous robots
- mechanical systems
- autonomous mobile robot
- configuration space
- temporal knowledge
- inverse kinematics
- verification method
- obstacle avoidance
- dynamic constraints
- search algorithm
- collision avoidance
- robot navigation
- human robot interaction
- computation tree logic
- climbing robot
- automata theoretic
- robotic systems
- mazurkiewicz traces