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 eBook
• Language: English
• Published: Boston, MA : Springer US, 2010.
• Subjects: Computer science.; Software engineering.; Mathematical logic.; Computers.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Software Engineering.; Computing Methodologies.

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?.