Temporal Logic Swarm Control with Splitting and Merging Tags: Motion and Path PlanningMetric Temporal LogicSwarm RoboticsMulti-Robot SystemsMulti-Agent SystemsAerial Robotics Read more about Temporal Logic Swarm Control with Splitting and Merging