Receding horizon path planning with implicit safety guarantees | IEEE Conference Publication | IEEE Xplore