Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic.
Mingyu CaiMohammadhosein HasanbeigShaoping XiaoAlessandro AbateZhen KanPublished in: CoRR (2021)
Keyphrases
- temporal logic
- motion planning
- reinforcement learning
- model checking
- degrees of freedom
- trajectory planning
- path planning
- mobile robot
- modal logic
- robot arm
- humanoid robot
- multi robot
- concurrent systems
- mechanical systems
- robotic tasks
- configuration space
- verification method
- linear temporal logic
- action space
- temporal knowledge
- belief space
- multi agent
- markov decision processes
- collision free
- temporally extended
- computation tree logic
- automata theoretic
- formal specification language
- mazurkiewicz traces
- continuous state
- robotic arm
- optimal policy
- state space
- dynamic programming
- spatio temporal
- reactive systems
- real robot
- belief revision
- transition systems
- multi modal
- control system
- climbing robot
- computer vision
- machine learning