Probabilistic Program Analysis with Martingales.

Aleksandar Chakarov Sriram Sankaranarayanan

Published in: CAV (2013)

Keyphrases

probability theory
probabilistic model
real time
generative model
database
neural network
decision trees
multi agent
relational databases
data driven
uncertain data
belief functions
probabilistic networks
probabilistic databases