Information-theoretic occupancy grid compression for high-speed information-based exploration | IEEE Conference Publication | IEEE Xplore