Multi-robot exploration using potential games