Mine rescue robots requirements Outcomes from an industry workshop | IEEE Conference Publication | IEEE Xplore