Before revision:  To fill this gap , we introduce mathematical programming approaches that yield approximations of these distributions with computable error bounds which enable the verification of their accuracy.
After revision:  Here , we introduce mathematical programming approaches that yield approximations of these distributions with computable error bounds which enable the verification of their accuracy.