Hypergraph-Based Coordinated Task Allocation and Socially-Aware Navigation for Multi-Robot Systems | IEEE Conference Publication | IEEE Xplore