Keyphrases
- optimal solution
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- partially observable markov decision processes
- tree automata
- policy iteration
- context free
- transition systems
- dynamic programming
- information retrieval systems
- vector quantizer
- average cost
- continuous time bayesian networks