Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks

Georgios Mitsos, Dimos V. Dimarogonas, Siyuan Liu

This paper presents a secure-by-construction planning and control framework for multi-agent systems subject to linear temporal logic (LTL) specifications. The framework protects se…