2010

Specification and Verification of Multi-agent Systems

ISBN: 978-1-4419-6983-5 (Print) 978-1-4419-6984-2 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xvii

  2. No Access

    Book Chapter

    Pages 1-33

    Using Theorem Proving to Verify Properties of Agent Programs

  3. No Access

    Book Chapter

    Pages 35-65

    The Refinement of Multi-Agent Systems

  4. No Access

    Book Chapter

    Pages 67-102

    Model Checking Agent Communication

  5. No Access

    Book Chapter

    Pages 103-123

    Directions for Agent Model Checking*

  6. No Access

    Book Chapter

    Pages 125-159

    Model Checking Logics of Strategic Ability: Complexity*

  7. No Access

    Book Chapter

    Pages 161-194

    Correctness of Multi-Agent Programs: A Hybrid Approach

  8. No Access

    Book Chapter

    Pages 195-224

    The Norm Implementation Problem in Normative Multi-Agent Systems

  9. No Access

    Book Chapter

    Pages 225-254

    A Verification Logic for Goal Agents

  10. No Access

    Book Chapter

    Pages 255-287

    Using the Maude Term Rewriting Language for Agent Development with Formal Foundations

  11. No Access

    Book Chapter

    Pages 289-315

    The Cognitive Agents Specification Language and Verification Environment

  12. No Access

    Book Chapter

    Pages 317-352

    A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems

  13. No Access

    Book Chapter

    Pages 353-383

    Assurance of Agent Systems: What Role Should Formal Verification Play?

  14. Back Matter

    Pages 385-405