Multi-agent coordination techniques for multi-robot task allocation and multi-robot area coverage | IEEE Conference Publication | IEEE Xplore