Temporal Logic Swarm Control with Splitting and Merging.

Gustavo A. Cardona, Kevin Leahy, Cristian-Ioan Vasile

Browse the full ICRA paper archive.