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