Automatic Probabilistic Program Verification through Random Variable Abstraction
Damián BarsottiNicolás WolovickPublished in: QAPL (2010)
Keyphrases
- random variables
- bayesian networks
- graphical models
- conditional probabilities
- probability distribution
- conditionally independent
- probabilistic model
- latent variables
- distribution function
- joint distribution
- conditional independence
- hazard rate
- belief networks
- stochastic dominance
- directed acyclic graph
- latent variable models
- conditional probability distributions
- conditional distribution
- approximate inference
- test statistic
- probability theory
- posterior probability
- mixture model
- dynamic programming