@misc{indiciae55d91093766b,
  title = {Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach},
  author = {Zhe Xu and Bo Wu and Ufuk Topcu},
  year = {2020},
  doi = {10.1371/journal.pone.0247660},
  url = {https://arxiv.org/abs/2007.15114},
  note = {Source identifier: 2007.15114}
}