DMCA

Model Checking AgentSpeak (2003)

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