Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach

PLoS One
http://www.plosone.org/
[Accessed 6 Mar 2021]

 

Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach
Zhe Xu, Bo Wu, Ufuk Topcu
Research Article | published 05 Mar 2021 PLOS ONE
https://doi.org/10.1371/journal.pone.0247660