Efficient Bids on Task Allocation for Multi-Robot Exploration