Collaborative multi-robot exploration
A taxonomy for multi-agent robotics