TY - RPRT TI - Scaling Motion Planning Infeasibility Proofs AU - Sihui Li AU - Neil T. Dantam PY - 2024 UR - https://arxiv.org/abs/2406.04795 ID - 2406.04795 ER -