Springer - Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems provides a professional treatment of formal specification and verification for agent-based systems. This volume focuses on the verification of multi-agent programs, offering a deep look into the logical formalisms required for modern computing. As an edited volume, it brings together contributions from leading international researchers to address the complexities of agent-based environments. Readers will find detailed discussions on various techniques, including model checking, theorem proving, and axiomatisations. These methods are essential for the (semi) automatic verification of complex systems. This book serves as a technical resource for those studying or working in computer science, specifically within the fields of AI and machine learning. It covers critical topics such as using theorem proving to verify properties of agent programs and the refinement of these systems. It is a valuable addition to any professional library focused on the formal methods of computer science.