Skip to main content
  • Book
  • © 2010

Specification and Verification of Multi-agent Systems

  • Addresses diverse topics with known results to provide a useful tool for students, practitioners, researchers
  • Ties together in a coherent conceptual framework most of the available results in this relevant area of research
  • Includes contributions from international leading researchers in the area, addressing logical formalisms and techniques
  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xvii
  2. Using Theorem Proving to Verify Properties of Agent Programs

    • N. Alechina, M. Dastani, F. Khan, B. Logan, J.-J. Ch. Meyer
    Pages 1-33
  3. The Refinement of Multi-Agent Systems

    • L. AÅŸtefănoaei, F.S. de Boer
    Pages 35-65
  4. Model Checking Agent Communication

    • J. Bentahar, J.-J. Ch. Meyer, W. Wan
    Pages 67-102
  5. Directions for Agent Model Checking*

    • R.H. Bordini, L.A. Dennis, B. Farwer, M. Fisher
    Pages 103-123
  6. Model Checking Logics of Strategic Ability: Complexity*

    • N. Bulling, J. Dix, W. Jamroga
    Pages 125-159
  7. Correctness of Multi-Agent Programs: A Hybrid Approach

    • M. Dastani, J.-J. Ch. Meyer
    Pages 161-194
  8. The Norm Implementation Problem in Normative Multi-Agent Systems

    • D. Grossi, D. Gabbay, L. van der Torre
    Pages 195-224
  9. A Verification Logic for Goal Agents

    • K.V. Hindriks
    Pages 225-254
  10. Using the Maude Term Rewriting Language for Agent Development with Formal Foundations

    • M.B. van Riemsdijk, L. AÅŸtefănoaei, F.S. de Boer
    Pages 255-287
  11. The Cognitive Agents Specification Language and Verification Environment

    • S. Shapiro, Y. Lespérance, H.J. Levesque
    Pages 289-315
  12. Back Matter

    Pages 385-405

About this book

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 researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems.

Chapters include: • 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 Mult-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 Systemns • Assurance of Agent Systems: What Role Should Formal Verification Play?

Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.

Editors and Affiliations

  • Dept. Information & Computing Sciences, Utrecht University, Utrecht, Netherlands

    Mehdi Dastani

  • Delft University of Technology, Delft, Netherlands

    Koen V. Hindriks

  • Dept. Information & Computer Sciences, Utrecht University, Utrecht, Netherlands

    John-Jules Charles Meyer

Bibliographic Information

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access