Analyzing and revising synthesized controllers for robots with sensing and actuation errors