@misc{indiciaef6b5e4e93973,
  title = {Provably Robust Semi-Infinite Program Under Collision Constraints via Subdivision},
  author = {Duo Zhang and Chen Liang and Xifeng Gao and Kui Wu and Zherong Pan},
  year = {2023},
  url = {https://arxiv.org/abs/2302.01135},
  note = {Source identifier: 2302.01135}
}