Login / Signup
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