Email-запись: Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach