ProxMaP: Proximal Occupancy Map Prediction for Efficient Indoor Robot Navigation | IEEE Conference Publication | IEEE Xplore