Before revision:  To the best of our knowledge, this is the first paper to provide automatically-synthesized and fine-tuned control synthesis for the COVID-19 epidemic models with formal specifications.
After revision:  To the best of our knowledge, this is the first paper to systematically synthesize control strategies based on the COVID-19 epidemic models with formal specifications.