↓ Skip to main content
What is this page? Embed badge

Specification and Verification of Multi-agent Systems

Overview of attention for book
Cover of 'Specification and Verification of Multi-agent Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Using Theorem Proving to Verify Properties of Agent Programs
  3. Altmetric Badge
    Chapter 2 The Refinement of Multi-Agent Systems
  4. Altmetric Badge
    Chapter 3 Model Checking Agent Communication
  5. Altmetric Badge
    Chapter 4 Directions for Agent Model Checking*
  6. Altmetric Badge
    Chapter 5 Model Checking Logics of Strategic Ability: Complexity*
  7. Altmetric Badge
    Chapter 6 Correctness of Multi-Agent Programs: A Hybrid Approach
  8. Altmetric Badge
    Chapter 7 The Norm Implementation Problem in Normative Multi-Agent Systems
  9. Altmetric Badge
    Chapter 8 A Verification Logic for Goal Agents
  10. Altmetric Badge
    Chapter 9 Using the Maude Term Rewriting Language for Agent Development with Formal Foundations
  11. Altmetric Badge
    Chapter 10 The Cognitive Agents Specification Language and Verification Environment
  12. Altmetric Badge
    Chapter 11 A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems
  13. Altmetric Badge
    Chapter 12 Assurance of Agent Systems: What Role Should Formal Verification Play?
Attention for Chapter 1: Using Theorem Proving to Verify Properties of Agent Programs
Altmetric Badge

Citations

dimensions_citation
24 Dimensions

Readers on

mendeley
8 Mendeley
Summary Dimensions citations
So far, Dimensions has found 24 publications that cite this research output.

24

The most recent citing publications are shown below. View all 24 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.