Synthesizing Converters Between Finite State Protocols.

Janaki Akella Kenneth L. McMillan

Published in: ICCD (1991)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
average cost
partially observable markov decision processes
least squares
context free
tree automata
hidden markov models
wavelet transform