Sihui Li, Neil T. Dantam. Exponential Convergence of Infeasibility Proofs for Kinematic Motion Planning. In Steven M. LaValle, Jason M. O'Kane, Michael W. Otte, Dorsa Sadigh, Pratap Tokekar, editors, Algorithmic Foundations of Robotics XV - Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics, WAFR 2022, College Park, MD, USA, 22-24 June, 2022. Volume 25 of Springer Proceedings in Advanced Robotics, pages 294-311, Springer, 2022. [doi]
Abstract is missing.