Specification and Verification of Multi-agent Systems

Overview of attention for book

Cover of 'Specification and Verification of Multi-agent Systems'

Table of Contents

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 1 Using Theorem Proving to Verify Properties of Agent Programs
Altmetric Badge

Chapter 2 The Refinement of Multi-Agent Systems
Altmetric Badge

Chapter 3 Model Checking Agent Communication
Altmetric Badge

Chapter 4 Directions for Agent Model Checking*
Altmetric Badge

Chapter 5 Model Checking Logics of Strategic Ability: Complexity*
Altmetric Badge

Chapter 6 Correctness of Multi-Agent Programs: A Hybrid Approach
Altmetric Badge

Chapter 7 The Norm Implementation Problem in Normative Multi-Agent Systems
Altmetric Badge

Chapter 8 A Verification Logic for Goal Agents
Altmetric Badge

Chapter 9 Using the Maude Term Rewriting Language for Agent Development with Formal Foundations
Altmetric Badge

Chapter 10 The Cognitive Agents Specification Language and Verification Environment
Altmetric Badge

Chapter 11 A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems
Altmetric Badge

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

Attention for Chapter 2: The Refinement of Multi-Agent Systems

Altmetric Badge

Citations

dimensions_citation: 24 Dimensions

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	The Refinement of Multi-Agent Systems
Chapter number	2
Book title	Specification and Verification of Multi-agent Systems
Published in	ADS, January 2010
DOI	10.1007/978-1-4419-6984-2_2
Book ISBNs	978-1-4419-6983-5, 978-1-4419-6984-2
Authors	L. Aştefănoaei, F.S. de Boer, Aştefănoaei, L., de Boer, F.S.

View on publisher site Alert me about new mentions

Timeline