Fig 8. Simulation results for the COVID-19 SUQC model with quarantine control and MTL specifications ${\phi }_{\mathrm{Q}}^1$ (first row), ${\phi }_{\mathrm{Q}}^2$ (second row) and ${\phi }_{\mathrm{Q}}^3$ (third row).

The red dotted lines indicate the thresholds in the atomic propositions of the MTL specifications ${\phi }_{\mathrm{Q}}^1$, ${\phi }_{\mathrm{Q}}^2$ and ${\phi }_{\mathrm{Q}}^3$.