Termination of Nondeterministic Probabilistic Programs.

Hongfei Fu Krishnendu Chatterjee

Published in: VMCAI (2019)

Keyphrases

bayesian networks
probabilistic model
real world
computer programs
conditional probabilities
uncertain data
neural network
case study
generative model
context sensitive
active rules
databases
machine learning
genetic algorithm
provably correct
term rewriting