Specification and Verification of Multi-agent Systems

• Corporate Author: SpringerLink (Online service)
• Other Authors: Dastani, Mehdi. (Editor), Hindriks, Koen V. (Editor), Meyer, John-Jules Charles. (Editor)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US, 2010.
• Subjects: Computer science.; Software engineering.; Electronic data processing.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Software Engineering.; Computing Methodologies.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4419-6984-2

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researche...

Table of Contents:

• Using Theorem Proving to Verify Properties of Agent Programs
• The Refinement of Multi-Agent Systems
• Model Checking Agent Communication
• Directions for Agent Model Checking
• Model Checking Logics of Strategic Ability: Complexity
• Correctness of Multi-Agent Programs: A Hybrid Approach
• The Norm Implementation Problem in Normative Multi-Agent Systems
• A Verification Logic for Goal Agents
• Using the Maude Term Rewriting Language for Agent Development with Formal Foundations
• The Cognitive Agents Specification Language and Verification Environment
• A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems
• Assurance of Agent Systems: What Role Should Formal Verification Play?
• References.