Computing Exact Loop Bounds for Bounded Program Verification.

Tianhai Liu Shmuel S. Tyszberowicz Bernhard Beckert Mana Taghdiri

Published in: SETTA (2017)

Keyphrases

marginal probabilities
upper bound
lower bound
asymptotically optimal
upper and lower bounds
case study
evolutionary algorithm
data sets
real world
decision trees
probabilistic model
probability distribution
worst case
graphical models
loopy belief propagation
tight bounds