Finding polynomial loop invariants for probabilistic programs.

Yijun Feng Lijun Zhang David N. Jansen Naijun Zhan Bican Xia

Published in: CoRR (2017)

Keyphrases

imperative programs
probabilistic model
uncertain data
low order
case study
bayesian networks
generative model
neural network
knowledge base
probability distribution
data driven
conditional probabilities
context sensitive
belief networks