1. Bordini, R., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, Heidelberg (2009)
2. Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated Verification of Multi-Agent Programs. In: Proc. 23rd Int. Conf. Automated Software Engineering (ASE), pp. 69–78. IEEE Computer Society Press, Los Alamitos (2008)
3. Bordini, R.H., Fisher, M., Sierhuis, M.: Formal Verification of Human-Robot Teamwork. In: Proc. 4th Int. Conf. Human-Robot Interaction (HRI), pp. 267–268. ACM, New York (2009)
4. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model Checking Rational Agents. IEEE Intelligent Systems 19(5), 46–52 (2004)
5. Brat, G., Denney, E., Giannakopoulou, D., Frank, J., Jonsson, A.: Verification of Autonomous Systems for Space Applications. In: Proc. IEEE Aerospace Conference (2006)