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

A Monotonicity Framework for Stability Verification of Planar Path-Following Controllers. - Benton Clark; Hasan A. Poonawala (IEEE Control. Syst. Lett., 2024)