Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations.
Yanwei WangNadia FigueroaShen LiAnkit ShahJulie ShahPublished in: CoRR (2022)
Keyphrases
- temporal logic
- imitation learning
- temporally extended
- humanoid robot
- model checking
- temporally extended goals
- modal logic
- image sequences
- linear temporal logic
- human motion
- verification method
- classical planning
- multi modal
- maximum margin
- reinforcement learning
- plan execution
- optimal policy
- robotic systems
- decision theoretic planning
- belief revision
- dynamic environments