Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- partially observable markov decision processes
- vector quantizer
- formal semantics
- optimal policy
- tree automata
- semantic information
- continuous time bayesian networks
- machine learning
- state space
- average cost
- context free
- continuous time markov process