R. H. Bordini, M. Fisher, W. Visser, M. J. Wooldridge, State-space Reduction Techniques in Agent Verification, in: Proceedings of the Third International Conference on Autonomous Agents and Multiagent Systems (AAMAS-04), ACM Press, New York, USA, 2004, pp. 896--903. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Verifiable Agent Dialogues - Walton (2005) (Correct)
No context found.
R. H. Bordini, M. Fisher, W. Visser, M. J. Wooldridge, State-space Reduction Techniques in Agent Verification, in: Proceedings of the Third International Conference on Autonomous Agents and Multiagent Systems (AAMAS-04), ACM Press, New York, USA, 2004, pp. 896--903.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC