Message-Passing Algorithms for the Verification of Distributed Protocols.

Loïg Jezequel Javier Esparza

Published in: VMCAI (2014)

Keyphrases

message passing
distributed systems
matrix multiplication
sum product algorithm
belief propagation
inference in graphical models
post processing
probabilistic inference
clique potentials
learning algorithm
computer vision
three dimensional
computational complexity
input data
level set