Model Checking AgentSpeak (2003)

by Rafael Bordini , Michael Fisher, Carmen Pardavila, Michael Wooldridge
Venue:AAMAS'03