Inform: From Compartmental Models to Stochastic Bounded Counter Machines

Tim Leys, Guillermo A. Perez

Compartmental models are used in epidemiology to capture the evolution of infectious diseases such as COVID-19 in a population by assigning members of it to compartments with label…