TY - RPRT TI - Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems AU - Victor Magron AU - Pierre-Loic Garoche AU - Didier Henrion AU - Xavier Thirioux PY - 2019 UR - https://arxiv.org/abs/1703.05085 ID - 1703.05085 ER -