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