↓ 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 8: A Verification Logic for Goal Agents
Altmetric Badge

Citations

dimensions_citation
24 Dimensions

Readers on

mendeley
3 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Verification Logic for Goal Agents
Chapter number 8
Book title
Specification and Verification of Multi-agent Systems
Published in
ADS, January 2010
DOI 10.1007/978-1-4419-6984-2_8
Book ISBNs
978-1-4419-6983-5, 978-1-4419-6984-2
Authors

K.V. Hindriks, Hindriks, K.V.

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Other 1 33%
Unknown 2 67%
Readers by discipline Count As %
Computer Science 2 67%
Unknown 1 33%

This page is provided by Altmetric.