Ant colony optimisation algorithm-based multi-robot exploration. (1st January 2013)