Probabilistic cooperative mobile robot area coverage and its application to autonomous seabed mapping. (January 2018)