Finding Polynomial Loop Invariants for Probabilistic Programs.

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

Published in: ATVA (2017)

Keyphrases

imperative programs
probabilistic model
bayesian networks
computer programs
uncertain data
generative model
context sensitive
probabilistic reasoning
neural network
information theoretic
moment invariants
automatic programming
probabilistic approaches