An online supervisor for robotic tasks | IEEE Conference Publication | IEEE Xplore