Correcting dependent errors in sequences generated by finite-state processes.
George W. HartAnastasios T. BouloutasPublished in: IEEE Trans. Inf. Theory (1993)
Keyphrases
- finite state
- markov chain
- model checking
- markov decision processes
- completely independent
- optimal policy
- process model
- context free
- hidden markov models
- temporal logic
- average cost
- tree automata
- transition systems
- continuous time bayesian networks
- data mining
- action sets
- markov processes
- partially observable markov decision processes
- stochastic processes
- vector quantizer
- multistage