Guaranteeing High-Level Behaviors while Exploring Partially Known Maps

摘要

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).