State-space reduction techniques in agent verification

Author

Bordini, Rafael H. ; Fisher, Michael ; Visser, Willem ; Wooldridge, Michael

Author_Institution

University of Liverpool

fYear

2004

fDate

23-23 July 2004

Firstpage

896

Lastpage

903

Keywords

Computer languages; Computer science; Contracts; Explosions; Java; Logic programming; Mars; Multiagent systems; NASA; State-space methods;

fLanguage

English

Publisher

ieee

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

Type

Filename

1373607

Link To Document