Counterexample-Guided Abstraction Refinement for POMDPs.
Xiaobin ZhangBo WuHai LinPublished in: CoRR (2017)
Keyphrases
- partially observable markov decision processes
- reinforcement learning
- model checking
- high level
- data abstraction
- belief state
- markov decision processes
- data sets
- distributed constraint optimization
- website
- belief space
- dynamic programming
- finite state
- mobile robot
- computational complexity
- continuous state
- multi agent
- point based value iteration