Keyphrases
- finite state
- markov chain
- markov decision processes
- optimal policy
- model checking
- quantum mechanics
- average cost
- state space
- transition systems
- partially observable markov decision processes
- vector quantizer
- continuous time bayesian networks
- search algorithm
- tree automata
- context free
- policy iteration
- finite number
- natural language