1. Benerecetti, M., & Cimatti, A. Symbolic model checking for multi-agent systems. In Proceedings of the model checking and artificial intelligence workshop (MoChArt-2002), held with 15th ECAI, 21–26 July, Lyon, France, (pp. 1–8).
2. Biesiadecki, J., Maimone, M. W., & Morrison, J. (2001). The Athena SDM rover: A testbed for marsrover mobility. In Sixth international symposium on AI, robotics and automation in space (ISAIRAS-01), June, Montreal, Canada.
3. Bordini, R. H., Fisher, M., Pardavila, C., & Wooldridge, M. (2003). Model checking AgentSpeak. In J. S. Rosenschein, T. Sandholm, M. Wooldridge, & M. Yokoo (Eds.), Proceedings of the second international joint conference on autonomous agents and multi-agent systems (AAMAS-2003), Melbourne, Australia, 14–18 July, (pp. 409–416) New York, NY, ACM Press.
4. Model Checking Rational Agents