During automated (APR), it can be challeng\x02ing to synthesize correct patches for real-world systems in general-purpose ...
Abstract: The formation control of unmanned aerial vehicle (UAV) swarms is of significant importance in various fields such as transportation, emergency management, and environmental monitoring.