Sound Over-Approximation of Probabilities.

Eugenio Moggi Walid Taha Johan Thunberg

Published in: Acta Cybern. (2020)

Keyphrases

probability distribution
closed form
belief networks
approximation schemes
neural network
case study
evolutionary algorithm
efficient computation
relative error
approximation error
probability values