Computing reachable sets for nonlinear systems in presence of bounded uncertainties | IEEE Conference Publication | IEEE Xplore