Vitalsource Technologies, Inc. Markov Chain Aggregation For Agent-based Models