Login / Signup

The Construction of Self-Synchronizing Finite State Protocols.

Raymond E. Miller
Published in: Distributed Comput. (1987)
Keyphrases
  • finite state
  • markov chain
  • markov decision processes
  • model checking
  • optimal policy
  • partially observable markov decision processes
  • average cost
  • context free
  • search space
  • finite state transducers
  • action sets