Proving expected sensitivity of probabilistic programs.
Gilles BartheThomas EspitauBenjamin GrégoireJustin HsuPierre-Yves StrubPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- bayesian networks
- posterior probability
- data driven
- generative model
- sensitivity analysis
- uncertain data
- probabilistic model
- control structures
- high sensitivity
- neural network
- computer programs
- probabilistic networks
- intermediate level
- context sensitive
- probabilistic interpretation
- probabilistic logic
- image sequences
- decision making