Keyphrases
- finite state
- projection method
- markov chain
- average cost
- action sets
- markov decision processes
- model checking
- partially observable markov decision processes
- dynamic programming
- optimal policy
- state space
- stationary policies
- tree automata
- vector quantizer
- finite state transducers
- linear projection
- harmonic functions
- policy iteration algorithm
- transition systems
- search space
- continuous time bayesian networks