TY  - RPRT
TI  - Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems
AU  - He Yin
AU  - Andrew Packard
AU  - Murat Arcak
AU  - Pete Seiler
PY  - 2018
UR  - https://arxiv.org/abs/1810.00313
ID  - 1810.00313
ER  -