Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals.
Alberto CamachoSheila A. McIlraithPublished in: IJCAI (2019)
Keyphrases
- fully observable
- planning problems
- classical planning
- temporally extended goals
- partial observability
- heuristic search
- transition systems
- symbolic model checking
- belief space
- domain independent
- planning domains
- state space
- partially observable
- ai planning
- deterministic domains
- markov decision problems
- hidden state
- planning systems
- decentralized control
- temporal logic
- partially observable markov decision processes
- markov decision processes
- initial state
- domain specific
- reinforcement learning
- search algorithm
- search space
- goal state
- model checking
- orders of magnitude
- learning algorithm
- situation calculus