Provably Correct Sensor-driven Path-following for Unicycles using Monotonic Score Functions