ATRC: A swarm-based robot team coordination protocol for mine detection and unknown space discovery | IEEE Conference Publication | IEEE Xplore