Keyphrases
- temporal logic
- motion planning
- reinforcement learning
- model checking
- degrees of freedom
- modal logic
- trajectory planning
- path planning
- humanoid robot
- mobile robot
- state space
- mazurkiewicz traces
- reinforcement learning algorithms
- robotic tasks
- transition systems
- multi robot
- robotic arm
- machine learning
- linear temporal logic
- verification method
- computation tree logic
- high dimensional
- partially observable
- dynamic programming
- temporal knowledge
- belief revision
- bounded model checking
- markov decision processes
- belief space
- configuration space
- model free
- multi agent
- mechanical systems
- optimal policy
- reward function
- formal specification
- spatio temporal
- vision system
- temporally extended
- learning agent
- temporally extended goals
- climbing robot