TY - RPRT TI - Reach-Avoid Problems via Sum-of-Squares Optimization and Dynamic Programming AU - Benoit Landry AU - Mo Chen AU - Scott Hemley AU - Marco Pavone PY - 2018 UR - https://arxiv.org/abs/1807.11553 ID - 1807.11553 ER -