Before revision:  We express the control requirement in metric temporal logic (MTL) formulas and develop methods for synthesizing control inputs based on three specific COVID-19 epidemic models with MTL specifications.
After revision:  We express the control requirement in metric temporal logic (MTL) formulas and develop methods for synthesizing control strategies with MTL specifications.