Autonomous Excavation of Rocks Using a Gaussian Process Model and Unscented Kalman Filter | IEEE Journals & Magazine | IEEE Xplore