Finite state verifiers with constant randomness
A. C. Cem SayAbuzer YakaryilmazPublished in: Log. Methods Comput. Sci. (2014)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- tree automata
- average cost
- context free
- vector quantizer
- policy iteration
- stationary policies
- continuous time bayesian networks
- machine learning
- action sets
- finite state transducers
- partially observable markov decision processes
- information retrieval