A Formal Analysis and Taxonomy of Task Allocation in Multi-Robot Systems | AMiner