Gators: a Game-Theoretic Tool for Optimal Robot Selection and Design in Surface Coverage Applications | IEEE Conference Publication | IEEE Xplore