TY - RPRT TI - Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis AU - Yu Chen AU - Shaoyuan Li AU - Xiang Yin PY - 2025 UR - https://arxiv.org/abs/2509.10896 ID - 2509.10896 ER -