TY - RPRT TI - Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability AU - Will Sharpless AU - Yat Tin Chow AU - Sylvia Herbert PY - 2025 UR - https://arxiv.org/abs/2403.14184 ID - 2403.14184 ER -