Alec Reed, Guillaume O. Berger, Sriram Sankaranarayanan 0001, Chris Heckman. Verified Path Following Using Neural Control Lyapunov Functions. In Karen Liu, Dana Kulic, Jeffrey Ichnowski, editors, Conference on Robot Learning, CoRL 2022, 14-18 December 2022, Auckland, New Zealand. Volume 205 of Proceedings of Machine Learning Research, pages 1949-1958, PMLR, 2022. [doi]
Abstract is missing.