Expressing and verifying probabilistic assertions.

Adrian Sampson Pavel Panchekha Todd Mytkowicz Kathryn S. McKinley Dan Grossman Luis Ceze

Published in: PLDI (2014)

Keyphrases

bayesian networks
knowledge base
model checking
generative model
probabilistic model
data driven
uncertain data
belief networks
data sets
context sensitive
posterior probability
knowledge representation
special case
video sequences
multi agent
multiscale
image processing
artificial intelligence