Prioritized Indoor Exploration with a Dynamic Deadline | IEEE Conference Publication | IEEE Xplore