A receding horizon algorithm for informative path planning with temporal logic constraints | IEEE Conference Publication | IEEE Xplore