Efficient exploration for real-time robot indoor 3D mapping | IEEE Conference Publication | IEEE Xplore