Sign in
Generating models of infinite-state communication protocols using regular inference with abstraction.
Fides Aarts
Bengt Jonsson
Johan Uijen
Frits W. Vaandrager
Published in:
Formal Methods Syst. Des. (2015)
Keyphrases
</>
communication protocols
communication protocol
structured prediction
probabilistic model
random fields
high level
probabilistic inference