Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances | IEEE Journals & Magazine | IEEE Xplore