Pedestrian Density Prediction for Efficient Mobile Robot Exploration | IEEE Conference Publication | IEEE Xplore