3D Underground Mapping with a Mobile Robot and a GPR Antenna | IEEE Conference Publication | IEEE Xplore