Semantic OcTree Mapping and Shannon Mutual Information Computation for Robot Exploration | IEEE Journals & Magazine | IEEE Xplore