Keyphrases
- finite state
- finite state transducers
- markov chain
- markov decision processes
- decision feedback
- model checking
- bit errors
- optimal policy
- tree automata
- context free
- error correction
- average cost
- vector quantizer
- objective function
- partially observable markov decision processes
- finite number
- temporal logic
- completely independent
- machine translation
- continuous time markov process