Formalizing Probabilistic Safety Claims.

Heber Herencia-Zapana George Hagen Anthony Narkawicz

Published in: NASA Formal Methods (2011)

Keyphrases

probabilistic model
generative model
data driven
bayesian networks
information theoretic
neural network
posterior probability
uncertain data
image processing
multiscale
probabilistic logic