Automatic synthesis of fine-motion strategies for robots