New Approaches for Almost-Sure Termination of Probabilistic Programs.

Mingzhang Huang Hongfei Fu Krishnendu Chatterjee

Published in: APLAS (2018)

Keyphrases

probabilistic model
real world
case study
real time
machine learning algorithms
information theoretic
alternative approaches
data mining
information systems
generative model
probabilistic logic