@misc{indiciaeac9452f95d09,
  title = {Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic},
  author = {Mohit Srinivasan and Samuel Coogan and Magnus Egerstedt},
  year = {2018},
  url = {https://arxiv.org/abs/1808.02393},
  note = {Source identifier: 1808.02393}
}