Tactile robotic mapping of unknown surfaces: an application to oil well exploration | IEEE Conference Publication | IEEE Xplore