Verification and control of partially observable probabilistic systems.

Gethin Norman David Parker Xueyi Zou

Published in: Real Time Syst. (2017)

Keyphrases

partially observable
reinforcement learning
state space
infinite horizon
general purpose
domain specific
model checking
markov decision processes
partially observable domains
domain independent
dynamical systems
partial observability