PEDRo: an Event-based Dataset for Person Detection in Robotics | IEEE Conference Publication | IEEE Xplore