Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks. - Georgios Mitsos; Dimos V. Dimarogonas; Siyuan Liu 002 (CoRR, 2026)