TY - RPRT TI - Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks AU - Georgios Mitsos AU - Dimos V. Dimarogonas AU - Siyuan Liu PY - 2026 UR - https://arxiv.org/abs/2605.13134 ID - 2605.13134 ER -