Cargando…
Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach
Ever since the outbreak of the COVID-19 epidemic, various public health control strategies have been proposed and tested against the coronavirus SARS-CoV-2. We study three specific COVID-19 epidemic control models: the susceptible, exposed, infectious, recovered (SEIR) model with vaccination control...
Autores principales: | Xu, Zhe, Wu, Bo, Topcu, Ufuk |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Public Library of Science
2021
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7935317/ https://www.ncbi.nlm.nih.gov/pubmed/33667241 http://dx.doi.org/10.1371/journal.pone.0247660 |
Ejemplares similares
-
Shield synthesis
por: Könighofer, Bettina, et al.
Publicado: (2017) -
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
por: Schneider, Sven, et al.
Publicado: (2020) -
Quarantine and Epidemic Cholera
Publicado: (1874) -
Investigating the trade-off between self-quarantine and forced quarantine provisions to control an epidemic: An evolutionary approach
por: Khan, Md. Mamun-Ur-Rashid, et al.
Publicado: (2022) -
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks †
por: Zbrzezny, Agnieszka M., et al.
Publicado: (2022)