Empirical Validation

I review Vandin et al. (2020)'s article on statistical model checking for ABM to give: the why, a summary of their methods, and how we might interpret their results