Follow
Automating Geometric Proofs of Collision Avoidance with Active Corners. (arXiv:2207.07259v1 [cs.RO]) http://arxiv.org/abs/2207.07259
Automating Geometric Proofs of Collision Avoidance with Active Corners. (arXiv:2207.07259v1 [cs.RO]) http://arxiv.org/abs/2207.07259