Assessing the value of coordination in mobile robot exploration using a discrete-time Markov process | IEEE Conference Publication | IEEE Xplore