Reachability Analysis Using Message Passing over Tree Decompositions.
Sriram SankaranarayananPublished in: CAV (1) (2020)
Keyphrases
- message passing
- reachability analysis
- tree decompositions
- model checking
- constraint satisfaction problems
- markov decision processes
- belief propagation
- tree decomposition
- distributed systems
- timed automata
- probabilistic inference
- shared memory
- inference in graphical models
- markov random field
- complexity bounds
- incremental algorithms
- sum product algorithm
- sum product
- constraint networks
- graphical models
- arc consistency
- decomposition method
- state space
- computational complexity
- computer vision