1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Blythe,2019
2. Blythe, J., et al.: The darpa socialsim challenge: massive multi-agent simulations of the github ecosystem. In: Proceedings of AAMAS, pp. 1835–1837 (2019)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Blythe,2019
4. Blythe, J., Tregubov, A.: DASH website (2020). https://dash-agents.github.io/
5. Cohen, M., Dam, M., Lomuscio, A., Russo, F.: Abstraction in model checking multi-agent systems. In: Proceedings of AAMAS, pp. 945–952 (2009)