- Article
Temporal Logic Planning and Receding Horizon Control for Signal Source Localization
- Xingtong Chen,
- Qiang Lu,
- Dilong Chen and
- Boyuan Geng
This article copes with signal source localization by employing a receding horizon control approach with temporal logic planning in the light of a single mobile robot. First, a temporal logic planning approach is proposed such that the task requireme...