This paper presents an approach for automatically synthesizing and re-synthesizing a hybrid controller that guarantees a robot will exhibit a user-defined high-level behavior while exploring a partially known workspace (map).
No takes yet. Share an insight, caveat, or question.
Sarid et al. (2012) studied this question.