arxiveess.SYmath.LO2026-07-17
Distributed Continuous Aerial Surveillance by UAS Swarms Under Formal Mission Specifications
Persistent aerial surveillance using multi-unmanned aerial systems (UASs) requires decentralized coordination, continuous team reconfiguration, and provable mission correctness despite limited onboard energy and communication constraints. This paper develops a distributed framewo…