Teaching innovation based on robot Karel auxiliary program design | IEEE Conference Publication | IEEE Xplore