Markov chain aggregation for agent-based models. (2016)