He Yin Andrew K. Packard Murat Arcak Peter J. Seiler Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems. 5020-5026 2019 ACC https://doi.org/10.23919/ACC.2019.8814444 conf/amcc/2019 db/conf/amcc/acc2019.html#YinPAS19