Redundancy, Efficiency and Robustness in Multi-Robot Coverage | IEEE Conference Publication | IEEE Xplore