Formalization of Normal Random Variables in HOL.
Muhammad QasimOsman HasanMaissa ElleuchSofiène TaharPublished in: CICM (2016)
Keyphrases
- random variables
- graphical models
- probability distribution
- theorem prover
- latent variables
- bayesian networks
- joint distribution
- distribution function
- conditional independence
- marginal distributions
- conditional probabilities
- knowledge representation
- normal distribution
- stochastic optimization problems
- joint probability distribution
- directed acyclic graph
- probability density
- lead time
- formal methods
- belief propagation
- conditionally independent
- additive noise
- conditional distributions
- natural deduction
- continuous variables
- statistically independent
- independent and identically distributed
- failure rate
- kullback leibler divergence
- objective function