Login / Signup
Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives
Krishnendu Chatterjee
Monika Henzinger
Manas Joglekar
Nisarg Shah
Published in:
CoRR (2011)
Keyphrases
</>
markov decision processes
qualitative analysis
policy iteration
quantitative analysis
reinforcement learning
reachability analysis
state space
optimal policy
finite state
factored mdps
search algorithm
dynamic programming
decision theoretic planning
finite horizon
learning algorithm