Automatic Control Synthesis for Swarm Robots from Formation and Location-based High-level Specifications | IEEE Conference Publication | IEEE Xplore