Login / Signup

Generating models of infinite-state communication protocols using regular inference with abstraction.

Fides AartsBengt JonssonJohan UijenFrits W. Vaandrager
Published in: Formal Methods Syst. Des. (2015)
Keyphrases
  • communication protocols
  • communication protocol
  • structured prediction
  • probabilistic model
  • random fields
  • high level
  • probabilistic inference