Protocol Representation with Finite-State Models.

André A. S. Danthine

Published in: IEEE Trans. Commun. (1980)

Keyphrases

finite state
markov chain
probabilistic model
continuous time bayesian networks
model checking
average cost
finite state transducers
reinforcement learning