Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Debugging multi-agent systems using design artifacts: the case of interaction protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Introduction to Multiagent Systems
Introduction to Multiagent Systems
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
A domain specific modeling language for multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Monitoring group behavior in goal-directed agents using co-efficient plan observation
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Agent oriented software engineering with INGENIAS
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Bridging the gap between agent-oriented design and implementation using MDA
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
| Hi-index | 0.00 |
In this paper we discuss an inherent problem of multiagent systems (MAS), the validation of desired behavior of an agent as well as a MAS. MAS can adapt their behaviors to a dynamic environment. By the ability of adapting to a variety of changes in the environment, it becomes very hard to ensure that the systems always show an intended behavior on behalf of its owner. We present here a simulation-based approach that allows validating the behavior of MAS. The simulations runs are used to evaluate the MAS in the application domain. By varying simulation settings, changes in the environment can be tested, and thus the dynamic abilities of the MAS are evaluated. If required and enough time is available, different possible sequences of changes can be tested. Thus a confidence value for the trust in the MAS, that it will behave efficient and desired in the real application context, can be defined.