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

• Zhe Xu ,

  Roles Conceptualization, Data curation, Formal analysis, Investigation, Methodology, Resources, Software, Validation, Visualization, Writing – original draft, Writing – review & editing

  * E-mail: xzhe1@asu.edu

  Affiliation School for Engineering of Matter, Transport and Energy, Arizona State University, Tempe, AZ, United States of America

  https://orcid.org/0000-0002-0440-0912

  ⨯
• Bo Wu,

  Roles Conceptualization, Methodology, Writing – review & editing

  Affiliation Oden Institute for Computational Engineering and Sciences, University of Texas at Austin, Austin, TX, United States of America

  ⨯
• Ufuk Topcu

  Roles Project administration, Supervision, Writing – review & editing

  Affiliations Oden Institute for Computational Engineering and Sciences, University of Texas at Austin, Austin, TX, United States of America, Department of Aerospace Engineering and Engineering Mechanics, University of Texas at Austin, Austin, TX, United States of America

  ⨯