Safe-Planner: A Single-Outcome Replanner for Computing Strong Cyclic Policies in Fully Observable Non-Deterministic Domains.
Vahid MokhtariAjay Suresha SathyaNikolaos TsiogkasWilm DecréPublished in: ICAR (2021)
Keyphrases
- fully observable
- planning problems
- deterministic domains
- nondeterministic domains
- partial observability
- symbolic model checking
- partially observable markov decision processes
- classical planning
- planning domains
- decentralized control
- domain independent
- markov decision problems
- heuristic search
- belief space
- partially observable
- state space
- ai planning
- decision processes
- optimal policy
- dynamic programming
- machine learning
- long run
- finite state
- hidden state
- linear programming
- general purpose
- search space