A Verified MATLAB Toolbox for the Dempster-Shafer Theory
constructing probability boxes and dempster - shafer structures .