Analyzing and revising high-level robot behaviors under actuator error | IEEE Conference Publication | IEEE Xplore