Model checking AgentSpeak. (2003)

by R Bordini, M Fisher, C Pardavila, M Wooldridge
Venue:In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS