Gaussian Process Mapping of Uncertain Building Models With GMM as Prior | IEEE Journals & Magazine | IEEE Xplore