A non-parametric Monte Carlo technique for controller verification. - Evangelia Gazi; Warren D. Seider; Lyle H. Ungar (Autom., 1997)