Sign in
Termination of Nondeterministic Recursive Probabilistic Programs.
Krishnendu Chatterjee
Hongfei Fu
Published in:
CoRR (2017)
Keyphrases
</>
probabilistic model
generative model
recursive programs
data driven
uncertain data
data sets
bayesian networks
website
conditional probabilities
context sensitive
finite state
computer programs