Finite State Verifiers I: The Power of Interaction.

Cynthia Dwork Larry J. Stockmeyer

Published in: J. ACM (1992)

Keyphrases

finite state
markov chain
model checking
markov decision processes
optimal policy
power consumption
partially observable markov decision processes
context free
tree automata
machine learning
reinforcement learning
sufficient conditions
vector quantizer
transition systems
action sets