- document
-
Veerman, H. (author), Van Kleef, A. (author), Wokke, F. (author), Ober, O. (author), Tiberius, C.C.J.M. (author), Verhagen, A.A. (author), Bos, A. (author), Mieremet, A. (author)The paper presents a short introduction to the mathematical theory of the EVT, the consecutive steps that are made in the software tool to address MI probability estimation and proof of range error distribution overbounding. Finally some early results obtained by GIMAT are presented.conference paper 2012