Login / Signup
Finite state verifiers with constant randomness.
A. C. Cem Say
Abuzer Yakaryilmaz
Published in:
Electron. Colloquium Comput. Complex. (2013)
Keyphrases
</>
finite state
markov chain
model checking
markov decision processes
optimal policy
tree automata
average cost
least squares
vector quantizer
partially observable markov decision processes
learning algorithm
long run
context free
multistage
finite state transducers