TY - RPRT TI - Provably Robust Semi-Infinite Program Under Collision Constraints via Subdivision AU - Duo Zhang AU - Chen Liang AU - Xifeng Gao AU - Kui Wu AU - Zherong Pan PY - 2023 UR - https://arxiv.org/abs/2302.01135 ID - 2302.01135 ER -