Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- tree automata
- average cost
- context free
- vector quantizer
- continuous time bayesian networks
- action sets
- partially observable markov decision processes
- hidden markov models
- linear programming
- policy iteration
- query language
- search algorithm
- machine learning