Provably Correct Sensor-Driven Path-Following for Unicycles Using Monotonic Score Functions. - Benton Clark; Varun Hariprasad; Hasan A. Poonawala (IROS, 2023)