RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model.

Allyx Fontaine Akka Zemmari

Published in: Sci. Ann. Comput. Sci. (2016)

Keyphrases

message passing
sum product algorithm
distributed systems
probabilistic model
objective function
markov chain
three dimensional
optimal solution
parameter estimation
belief propagation
bayesian framework
approximate inference