Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- tree automata
- action sets
- transition systems
- vector quantizer
- continuous time markov process
- partially observable markov decision processes
- probabilistic model
- context free
- language model
- computational complexity
- continuous time bayesian networks
- natural language