Finite State Verifiers with Constant Randomness.

A. C. Cem Say Abuzer Yakaryilmaz

Published in: CiE (2012)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
tree automata
context free
stationary policies
vector quantizer
average cost
transition systems
machine learning
policy iteration
dynamic programming