Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives.
Wenjie QiuWensen MaoHe ZhuPublished in: NeurIPS (2023)
Keyphrases
- temporal logic
- reinforcement learning agents
- model checking
- modal logic
- temporally extended goals
- belief revision
- linear temporal logic
- dynamic environments
- reactive systems
- verification method
- computation tree logic
- temporal knowledge
- reinforcement learning
- automata theoretic
- mazurkiewicz traces
- text categorization