@article{dai2023certified, title={Certified Polyhedral Decompositions of Collision-Free Configuration Space}, author={Dai, Hongkai and Amice, Alexandre and Werner, Peter and Zhang, Annan and Tedrake, Russ}, journal={arXiv preprint arXiv:2302.12219}, year={2023} }