Empirical analysis for agent system comprehension and verification
Los Alamitos, CA : Institute of Electrical and Electronics Engineers (IEEE)
In2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, pp. 723-729
2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 Dec. 2006
Article in monograph or in proceedings
Display more detailsDisplay less details
SW OZ BSI CW
2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology
SubjectCommunication and Media
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multi-agent systems whose behaviors are sophisticated. This paper presents an approach resulting from collaboration between the Tracer Tool and the TTL Checker, which together automate the analysis and verification of an implemented system's behavior, with the aim of aiding the user in redesigning, debugging, and maintaining the agent system. The Tracer Tool ensures that the user's comprehension of the system behavior is accurate and provides explanations of anomalous behavior, which can be detected as a failed behavioral property by the TTL Checker. The integrated approach has been applied to an agent-based system in an unmanned aerial vehicles domain.
Upload full text
Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.