|
Number of items: 3.
Bordini, R.H. and Fisher, M. and Pardavila, C. and Wooldridge, M.
(2003)
Model Checking AgentSpeak.
In:
Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03).
, Melbourne, Australia.
Bordini, R.H. and Fisher, M. and Pardavila, C. and Visser, W. and Wooldridge, M.
(2003)
Model Checking Multi-AGent Programs with CASP.
In:
Proceedings of the Fifteenth Computer-Aided Verification Conference (CAV-2003).
, Boulder, Colorado.
Bordini, R.H. and Fisher, M. and Visser, W. and Wooldridge, M.
(2004)
State-Space Reduction Techniques in Agent Verification.
In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.
This list was generated on Mon Sep 10 16:40:59 BST 2007.
|
