Swarm-STL: A Framework for Motion Planning in Large-Scale, Multi-Swarm Systems

Shiyu Cheng, Luyao Niu, Bhaskar Ramasubramanian +2

In multi-agent systems, signal temporal logic (STL) is widely used for path planning to accomplish complex objectives with formal safety guarantees. However, as the number of agent…