TY - RPRT TI - Reachability-Based Safety Guarantees using Efficient Initializations AU - Sylvia L. Herbert AU - Shromona Ghosh AU - Somil Bansal AU - Claire J. Tomlin PY - 2019 UR - https://arxiv.org/abs/1903.07715 ID - 1903.07715 ER -