Department of Computer Science, University of Colorado Boulder, USA.
Path Following;Trajectory Tracking;Control Lyapunov Functions;Plan Execution;Verified Autonomy
Verified Path Following Using Neural Control Lyapunov Functions