Robust Asynchronous Protocols Are Finite-State.

Madhavan Mukund K. Narayan Kumar Jaikumar Radhakrishnan Milind A. Sohoni

Published in: ICALP (1998)

Keyphrases

finite state
markov chain
model checking
markov decision processes
tree automata
partially observable markov decision processes
optimal policy
computational complexity
vector quantizer
machine learning
reinforcement learning
action sets