Integrating Symbolic Planning and Reinforcement Learning for Following Temporal Logic Specifications.
Duo XuFaramarz FekriPublished in: IJCNN (2022)
Keyphrases
- temporal logic
- reinforcement learning
- concurrent systems
- temporally extended goals
- model checking
- transition systems
- reactive systems
- model checker
- bounded model checking
- formal specification language
- temporally extended
- modal logic
- formal specification
- satisfiability problem
- action selection
- planning problems
- state space
- symbolic model checking
- formal verification
- heuristic search
- verification method
- dynamic programming
- mazurkiewicz traces
- planning domains
- partially observable
- linear temporal logic
- computation tree logic
- partially observable markov decision processes
- multi agent
- markov decision problems
- temporal knowledge
- markov decision process
- dynamic constraints
- temporal information
- markov decision processes
- domain independent
- np complete
- knowledge base