Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge. Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems, 12(2):239-256, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.