Robotic swarm control from spatio-temporal specifications | IEEE Conference Publication | IEEE Xplore