C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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