Pedagogical Agents for Teacher Intervention in Educational Robotics Classes: Implementation Issues | IEEE Conference Publication | IEEE Xplore