SEIRD COVID-19 Formal Characterization and Model Comparison Validation | Publicación