Assignment for the Formal Analysis Class
Studied the Genetic Algorithm as optimization method for vaccine transportation routes. Defined real-world variables and constraints. Used SIR model, differential equations, and simulation in Python 3 via Euler’s method to model COVID-19 in New York City.