Model checking
Systems and software verification: model-checking techniques and tools
Systems and software verification: model-checking techniques and tools
Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology)
Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology)
Advances in Applied Artificial Intelligence (Computational Intelligence and Its Applications) (Computational Intelligence and Its Applications)
Systematic verification of multi-agent systems based on rigorous executable specifications
International Journal of Agent-Oriented Software Engineering
Testing and Debugging of MAS Interactions with INGENIAS
Agent-Oriented Software Engineering IX
Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
An Introduction to MultiAgent Systems
An Introduction to MultiAgent Systems
Verification of Mobile SMS Application with Model Checking Agent
ICIMT '09 Proceedings of the 2009 International Conference on Information and Multimedia Technology
Validation of multiagent systems by symbolic model checking
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Quality-driven query answering for integrated information systems
Quality-driven query answering for integrated information systems
Temporal verification of probabilistic multi-agent systems
Pillars of computer science
Runtime verification for the web: a tutorial introduction to interface contracts in web applications
RV'10 Proceedings of the First international conference on Runtime verification
Practical Software Testing: A Process-Oriented Approach
Practical Software Testing: A Process-Oriented Approach
Automated verification of resource requirements in multi-agent systems using abstraction
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Model checking agent programming languages
Automated Software Engineering
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Intelligent data analysis for the verification of multi-agent systems interactions
IDEAL'06 Proceedings of the 7th international conference on Intelligent Data Engineering and Automated Learning
Runtime verification with state estimation
RV'11 Proceedings of the Second international conference on Runtime verification
Hi-index | 0.00 |
Since multi-agent systems are inherently complex, there are possibilities that errors related to multi-agent systems interaction could occur. Currently, many verification approaches have been proposed by focusing on specific properties, using a particular technique and during certain development phase. However, each technique has its limitations. As interaction between agents and multi-agent systems environments evolve during runtime, not all multi-agent systems interaction requirements can be specified and verified during design and development. Thus, some new interaction properties such as agent availability and trustability need to be verified during runtime. In this research, a solution is proposed in which newly defined agents interaction quality requirements are specified, developed into metrics and verified within multi-agent systems runtime verification framework. It is aimed to improve the effectiveness of the verification of agent interactions during runtime. Finally, an experiment is set up to capture message passing between agents and to gather runtime system profiles to evaluate the proposed solution.