Sciweavers

WIAS
2008
57views more  WIAS 2008»
13 years 11 months ago
Tools for analyzing intelligent agent systems
When developing sophisticated multi-agent systems whose behaviors include collaboration, negotiation, and conflict resolution, analyzing and (empirically) verifying agent system be...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
ATAL
2006
Springer
14 years 2 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
IAT
2006
IEEE
14 years 5 months ago
Empirical Analysis for Agent System Comprehension and Verification
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber