Verified Path Following Using Neural Control Lyapunov Functions.

Alec Reed, Guillaume O. Berger, Sriram Sankaranarayanan, Christoffer Heckman

Browse the full CoRL paper archive.