the computations for control synthesis are finished within 5 seconds.

[ll&gt;p[20mm]{}]{}      MTL specification & control effort & computation time\

  -----------------------------------------------------------
   $\varphi_{\textrm{S}}^1=\Box_{[0,100]} (\Delta D\le0.01)$
            $~~~~~~\wedge\Box_{[0,100]} (D\le0.2)$
             $~~~\wedge\Diamond_{[40, 60]}(R\ge6)$
  -----------------------------------------------------------

  : MTL specifications and simulation results for shield immunity control.

&      39660.76 &      4.402 s\

  ------------------------------------------------------------
   $\varphi_{\textrm{S}}^2=\Box_{[0,100]} (\Delta D\le0.005)$
             $~~~~~\wedge\Box_{[0,100]} (D\le0.2)$
              $~~\wedge\Diamond_{[40, 60]}(R\ge6)$
  ------------------------------------------------------------

  : MTL specifications and simulation results for shield immunity control.

&      49422.85 &      2.881 s\

  ------------------------------------------------------------
   $\varphi_{\textrm{S}}^3=\Box_{[0,100]} (\Delta D\le0.005)$
             $~~~~~\wedge\Box_{[0,100]} (D\le0.15)$
               $\wedge\Diamond_{[40, 60]}(R\ge6)$
  ------------------------------------------------------------

  : MTL specifications and simulation results for shield immunity control.

&      94526.45 &      3.387 s\

\[result\_shield\]

[0.46]{} ![Simulation results for the COVID-19 SEIR model with shield immunity control and MTL specification $\varphi_{\textrm{S}}^1$.[]{data-label="fig_results_shield1"}](case_shield_phi1a.png "fig:"){width="\textwidth"}

[0.46]{} ![Simulation results for the COVID-19 SEIR model with shield immunity control and MTL specification $\varphi_{\textrm{S}}^1$.[]{data-label="fig_results_shield1"}](case_shield_phi1b.png "fig:"){width="\textwidth"}

[0.46]{} ![Simulation results for the COVID-19 SEIR model with shield immunity control and MTL specification $\varphi_{\textrm{S}}^1$.[]{data-label="fig_results_shield1"}](case_shield_phi1c.png "fig:"){width="\textwidth"}

[0.46]{} ![Simulation results for the COVID-19 SEIR model with shield immunity control and MTL specification $\varphi_{\textrm{S}}^1$.[]{data-label="fig_results_shield1"}](case_shield_phi1d.png "fig:"){width="\textwidth"}

[0.46]{} ![Simulation results for the COVID-19 SEIR model with shield immunity control and MTL specification $\varphi_{\textrm{S}}^2$.[]{data-label="fig_results_shield2"}](case_shield_phi2a.png "fig:"){width="\textwidth"}

[0.46]{} ![Simulation results for the COVID-19 SEIR model with shield immunity control and MTL specification $\varphi_{\textrm{S}}^2$.[]{data-label="fig_results_shield2"}](case_shield_phi2b.png "fig:"){width="\textwidth"}

[0.46]{} ![Simulation results for the COVID-19 