Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties | IEEE Journals & Magazine | IEEE Xplore