Title :
State-space reduction techniques in agent verification
Author :
Bordini, Rafael H. ; Fisher, Michael ; Visser, Willem ; Wooldridge, Michael
Author_Institution :
University of Liverpool
Keywords :
Computer languages; Computer science; Contracts; Explosions; Java; Logic programming; Mars; Multiagent systems; NASA; State-space methods;
Conference_Titel :
Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004. Proceedings of the Third International Joint Conference on
Conference_Location :
New York, NY, USA
Print_ISBN :
1-58113-864-4
