@misc{indiciae7083215c6689,
  title = {Robotic Swarm Control from Spatio-Temporal Specifications},
  author = {Iman Haghighi and Sadra Sadraddini and Calin Belta},
  year = {2016},
  url = {https://arxiv.org/abs/1609.06283},
  note = {Source identifier: 1609.06283}
}