Assume-guarantee reasoning framework for MDP-POMDP.

Xiaobin Zhang Bo Wu Hai Lin

Published in: CDC (2016)

Keyphrases

markov decision processes
main contribution
state space
knowledge base
reinforcement learning
finite state
partially observable markov decision process
dynamic programming
optimal policy
logical framework
reasoning engine
search space
linear program
markov decision process
partial observability