Gravar-mail: A general mathematical method for predicting spatio-temporal correlations emerging from agent-based models