This article copes with signal source localization by employing a receding horizon control approach temporal logic planning in the light of single mobile robot. First, is proposed such that task requirements from specifications can be effectively dealt based on product automaton an offline fashion. Second, order to label key nodes automaton, particle filter utilized predict positions as nodes. ...