Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic.
Mingyu CaiMohammadhosein HasanbeigShaoping XiaoAlessandro AbateZhen KanPublished in: IEEE Robotics Autom. Lett. (2021)
Keyphrases
- temporal logic
- motion planning
- reinforcement learning
- model checking
- degrees of freedom
- trajectory planning
- path planning
- mobile robot
- robot arm
- modal logic
- humanoid robot
- concurrent systems
- robotic tasks
- robotic arm
- multi robot
- verification method
- computation tree logic
- action space
- temporal knowledge
- state space
- belief space
- mechanical systems
- mazurkiewicz traces
- real robot
- transition systems
- linear temporal logic
- multi agent
- configuration space
- machine learning
- belief revision
- markov decision processes
- multi modal
- temporally extended
- formal specification language