Where's Waldo? Sensor-Based Temporal Logic Motion Planning.
Hadas Kress-GazitGeorgios E. FainekosGeorge J. PappasPublished in: ICRA (2007)
Keyphrases
- temporal logic
- motion planning
- model checking
- degrees of freedom
- mobile robot
- robot arm
- modal logic
- path planning
- trajectory planning
- humanoid robot
- robotic tasks
- robotic arm
- satisfiability problem
- multi robot
- configuration space
- concurrent systems
- verification method
- bounded model checking
- belief revision
- obstacle avoidance
- autonomous mobile robot
- temporal knowledge
- belief space
- transition systems
- linear temporal logic
- computation tree logic
- climbing robot
- formal specification language
- mazurkiewicz traces
- reactive systems
- machine learning