The traverse rate formula
Each cycle has a driving part and a pause. Driving one segment of length L at wheel speed v takes L divided by v. Add the pause p for imaging and planning, and the average rate is L divided by (L / v + p).
Distance per sol multiplies that rate by the hours the team allots to driving. This model assumes a 4 hour window and ignores slip, turning in place, and time spent on visual odometry, so it is a simplified planning estimate. Published results from early Mars rover missions report wheel speeds of a few centimeters per second and net autonomous rates well under 1 cm/s once thinking time is included.
Why not just drive blind?
When the ground ahead is visible in orbital or earlier images and looks safe, teams often command blind drives that skip the stops and run much faster. Autonomous hazard avoidance is used where the terrain is unknown or the route goes beyond what the team could see, trading speed for safety.