Proving Expected Sensitivity of Probabilistic Programs.

Gilles Barthe Thomas Espitau Benjamin Grégoire Justin Hsu Pierre-Yves Strub

Published in: CoRR (2017)

Keyphrases

probabilistic model
bayesian networks
sensitivity analysis
data model
probabilistic reasoning
computer programs
intermediate level
data sets
search algorithm
logic programming
uncertain data
probabilistic logic
automatic programming
probabilistic relational