Probabilistic estimation of agent modeling results by example of Schelling segregation model

The paper considers one implementation of Schelling racial segregation model. The model formal description and behavior estimation based on correspondence of modeling process and some Markov chain is presented. Proof is built that clearly explains such model behavior. It is shown that methods and statements used in this proof can also be used for other models and systems behavior analysis.