Gravar-mail: COVID-19 deterministic and stochastic modelling with optimized daily vaccinations in Saudi Arabia