TY - RPRT TI - Certified Polyhedral Decompositions of Collision-Free Configuration Space AU - Hongkai Dai AU - Alexandre Amice AU - Peter Werner AU - Annan Zhang AU - Russ Tedrake PY - 2023 UR - https://arxiv.org/abs/2302.12219 ID - 2302.12219 ER -