1. Alpern, S.: Spatial dispersion as a dynamic coordination problem. Tech. rep., The London School of Economics (2001)
2. Baier, C., Katoen, J.: Principles of Model Checking, ch. 10, pp. 866–883. The MIT Press (2008)
3. LNAI;P. Ballarini,2009
4. Arthur, B.: Inductive reasoning and bounded rationality. American Economic Association Papers 84, 406–411 (1994)
5. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. AAMAS 12, 239–256 (2006)