Centralization vs. decentralization in multi-robot coverage: Ground robots under UAV supervision