Extended Performance Guarantees for Receding Horizon Search with Terminal Cost | IEEE Conference Publication | IEEE Xplore