Autonomous Quadrotor 3D Mapping and Exploration Using Exact Occupancy Probabilities | IEEE Conference Publication | IEEE Xplore