Keyphrases
- finite state
- polynomial size
- action sets
- markov chain
- exponential size
- markov decision processes
- model checking
- boolean functions
- human players
- optimal policy
- game playing
- computer games
- knowledge compilation
- dnf formulas
- bounded treewidth
- incomplete information
- learning algorithm
- state space
- search space
- reinforcement learning