TY - RPRT TI - A Computationally Efficient Hamilton-Jacobi-based Formula for State-Constrained Optimal Control Problems AU - Donggun Lee AU - Claire J. Tomlin PY - 2021 UR - https://arxiv.org/abs/2106.13440 ID - 2106.13440 ER -