Synthesis, Analysis, And Revision Of Correct-By-Construction Controllers For Robots With Sensing And Actuation Errors