Receding horizon robot control in partially unknown environments with temporal logic constraints | IEEE Conference Publication | IEEE Xplore