TY  - RPRT
TI  - Semidefinite Outer Approximation of the Backward Reachable Set of Discrete-time Autonomous Polynomial Systems
AU  - Weiqiao Han
AU  - Russ Tedrake
PY  - 2018
UR  - https://arxiv.org/abs/1803.07725
ID  - 1803.07725
ER  -