Keyphrases
- motion planning
- pspace complete
- np complete
- model checking
- satisfiability problem
- decision problems
- degrees of freedom
- humanoid robot
- mobile robot
- trajectory planning
- path planning
- strips planning
- tree automata
- multi robot
- robotic tasks
- causal graph
- robotic arm
- temporal logic
- computational complexity
- constraint satisfaction problems
- coalition logic
- finite automata
- configuration space
- regular expressions
- robotic systems
- mechanical systems
- machine learning
- climbing robot