Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs.
Yu LeiKuo-Chung TaiPublished in: ISSRE (2002)
Keyphrases
- message passing
- reachability analysis
- markov decision processes
- belief propagation
- model checking
- distributed systems
- shared memory
- factor graphs
- markov random field
- timed automata
- probabilistic inference
- state space
- approximate inference
- distributed shared memory
- incremental algorithms
- graphical models
- sum product algorithm
- sum product
- inference in graphical models
- reinforcement learning
- graph cuts
- lower bound