Login / Signup
A game-based abstraction-refinement framework for Markov decision processes.
Mark Kattenbelt
Marta Z. Kwiatkowska
Gethin Norman
David Parker
Published in:
Formal Methods Syst. Des. (2010)
Keyphrases
</>
markov decision processes
decision theoretic planning
reinforcement learning
optimal policy
dynamic programming
state space
finite state
reinforcement learning algorithms
risk sensitive
data mining
machine learning
infinite horizon
average cost
decision processes
average reward
transition matrices