Volumetric Occupancy Mapping With Probabilistic Depth Completion for Robotic Navigation | IEEE Journals & Magazine | IEEE Xplore