Keyphrases
- finite state
- markov chain
- markov decision processes
- markov model
- markov processes
- maximum likelihood
- sufficient conditions
- state space
- markov process
- tree automata
- model checking
- average cost
- context free
- transition systems
- partially observable markov decision processes
- action sets
- continuous time bayesian networks