Junichi Kumada

Sequential monitoring for robot teams via temporal logic planning and persistent coverage control

This paper proposes a multi-layer control framework for monitoring environments composed of subregions under Linear Temporal Logic (LTL) specifications. Task specifications described in natural language are translated into LTL formulas for temporal logic planning. An intermediate...