Login / Signup

Trace-Based Run-Time Analysis of Message-Passing Go Programs.

Martin SulzmannKai Stadtmüller
Published in: Haifa Verification Conference (2017)
Keyphrases
  • message passing
  • belief propagation
  • distributed systems
  • probabilistic inference
  • factor graphs
  • reinforcement learning
  • image features
  • markov random field
  • graphical models
  • logic programming