Verifying multi-agent programs by model checking
(2006)
Journal Article
Bordini, R. H., Fisher, M., Visser, W., & Wooldridge, M. (2006). Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems, 12(2), 239-256. https://doi.org/10.1007/s10458-006-5955-7
This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-based agent-oriented programming language AgentSpeak into either Promela or Java,... Read More about Verifying multi-agent programs by model checking.