Metrics for the Evaluation of DisCSP: Some Experiments on Multi-robot Exploration | IEEE Conference Publication | IEEE Xplore