Model Checking AgentSpeak
 |
 |
address = {New York, NY, USA},
author = {Bordini, Rafael H. and Fisher, Michael and Pardavila, Carmen and Wooldridge, Michael J.},
booktitle = {2nd International Joint Conference on Autonomous Agents and Multi-Agents Systems (AAMAS 2003)},
doi = {10.1145/860575.860641},
editor = {Rosenschein, Jeffrey S. and Wooldridge, Michael J. and Sandholm, Tuomas and Yokoo, Makoto},
isbn = {1-58113-683-8},
keywords = {AgentSpeak(F), AgentSpeak(L), BDI Logic, Multiagent Systems},
location = {Melbourne, Australia},
month = {11-14~} # jul,
pages = {409--416},
publisher = {ACM Press},
title = {Model Checking {A}gent{S}peak},
url = {{http://dl.acm.org/citation.cfm?doid},
year = 2003
}