3-D Soil Compaction Mapping Through Kriging-Based Exploration With a Mobile Robot | IEEE Journals & Magazine | IEEE Xplore