Distributed Gaussian Process Mapping for Robot Teams with Time-varying Communication | IEEE Conference Publication | IEEE Xplore