@misc{indiciaeef6a1b368c3c,
  title = {Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems},
  author = {He Yin and Andrew Packard and Murat Arcak and Pete Seiler},
  year = {2018},
  url = {https://arxiv.org/abs/1810.00313},
  note = {Source identifier: 1810.00313}
}