Stochastic invariants for probabilistic termination.

Krishnendu Chatterjee Petr Novotný Dorde Zikelic

Published in: POPL (2017)

Keyphrases

bayesian networks
stochastic context free grammars
generative model
posterior probability
stochastic optimization
probabilistic model
information theoretic
probabilistic reasoning
probabilistic logic
forward and backward
data sets
neural network
uncertain data
belief networks
invariant features
stochastic nature