Error-Related Potential During Cooperative Exploration by Humans and Robots in a Large-Scale Maze and the Effect of Boredom on It | IEEE Conference Publication | IEEE Xplore