An Efficient Probabilistic 3D Mapping Framework Based on Octrees