Stochastic Invariants for Probabilistic Termination.
Krishnendu ChatterjeePetr NovotnýDorde ZikelicPublished in: CoRR (2016)
Keyphrases
- bayesian networks
- probabilistic model
- stochastic context free grammars
- conditional probabilities
- genetic algorithm
- probabilistic approaches
- generative model
- forward and backward
- imperative programs
- database
- term rewriting
- stochastic process
- probabilistic reasoning
- uncertain data
- information theoretic
- reinforcement learning
- feature extraction
- image segmentation
- knowledge base