A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
[article]
2021
arXiv
pre-print
Pandemics can bring a range of devastating consequences to public health and the world economy. Identifying the most effective control strategies has been the imperative task all around the world. Various public health control strategies have been proposed and tested against pandemic diseases (e.g., COVID-19). We study two specific pandemic control models: the susceptible, exposed, infectious, recovered (SEIR) model with vaccination control; and the SEIR model with shield immunity control. We
arXiv:2103.14262v1
fatcat:cjxcasau3ndvljuzupedssy64i