Automated analysis and verification of agent behavior

Authors:
Tibor Bosse;Dung N. Lam;K. Suzanne Barber
Affiliations:
Vrije Universiteit Amsterdam, HV, Amsterdam, The Netherlands;The University of Texas at Austin, Austin, TX;The University of Texas at Austin, Austin, TX
Venue:
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Year:
2006

Citing 6
Cited 3

The software bookshelf

IBM Systems Journal
Visualising and debugging distributed multi-agent systems

Proceedings of the third annual conference on Autonomous Agents
Reverse Engineering and Design Recovery: A Taxonomy

IEEE Software
The Insufficiency of Formal Design Methods " The Necessity of an Experimental Approach - for the Understanding and Control of Complex MAS

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Comprehending agent software

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Debugging agent behavior in an implemented agent system

ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems

Verifying Robocup Teams

Model Checking and Artificial Intelligence
Graph-based methods for the analysis of large-scale multiagent systems

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Automated interpretation of agent behaviour

AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 with any complex software system. This paper presents an integrated approach for the analysis and verification of behaviors of agent-based systems. The approach is a result of collaboration between the Tracer Tool and the TTL Checker, which together automate the analysis and verification of agents in an implemented agent system with the aim of aiding the user in redesigning, debugging, and maintaining the software 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 successfully in a case study in the domain of Unmanned Aerial Vehicles.