A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks.

Eric Goubault, Sylvie Putot

Browse the full FM paper archive.