Model checking AgentSpeak (2003)

by R H Bordini, M Fisher, C Pardavila, M Wooldridge
Venue:In Proc. of AAMAS’03