Model Checking AgentSpeak (2003)

by Rafael Bordini , Michael Fisher , Carmen Pardavila , Michael Wooldridge
Venue:AAMAS'03
Citations:97 - 17 self