Multi-agent Receding Horizon Search with Terminal Cost | IEEE Conference Publication | IEEE Xplore