Before revision:  The results show that the proposed synthesis approach can generate control inputs within a relatively short time (within 5 seconds) such that the time-varying numbers of individuals in each category (e.g., infectious, immune) satisfy the MTL specifications.
After revision:  The results show that the proposed synthesis approach can generate control inputs such that the time-varying numbers of individuals in each category (e.g., infectious, immune) satisfy the MTL specifications.