Coverart for item
The Resource Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek

Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek

Label
Specification and verification of multi-agent systems
Title
Specification and verification of multi-agent systems
Statement of responsibility
Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek
Contributor
Subject
Language
eng
Summary
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
Cataloging source
GW5XE
Dewey number
006.3/3
Illustrations
illustrations
Index
no index present
LC call number
QA76.76.I58
LC item number
S64 2010
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Dastani, Mehdi
  • Hindriks, Koen V
  • Meyer, John-Jules Ch
http://library.link/vocab/subjectName
  • Multiagent systems
  • Computer software
  • COMPUTERS
  • Informatique
  • Computer software
  • Multiagent systems
Label
Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 385-405)
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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 Multi-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 Systems -- Assurance of Agent Systems: What Role Should Formal Verification Play? -- References
Control code
663096644
Dimensions
unknown
Extent
1 online resource (xvii, 405 pages)
Form of item
online
Isbn
9781441969842
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-1-4419-6984-2
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-1-4419-6983-5
Specific material designation
remote
System control number
(OCoLC)663096644
Label
Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek
Publication
Bibliography note
Includes bibliographical references (pages 385-405)
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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 Multi-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 Systems -- Assurance of Agent Systems: What Role Should Formal Verification Play? -- References
Control code
663096644
Dimensions
unknown
Extent
1 online resource (xvii, 405 pages)
Form of item
online
Isbn
9781441969842
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-1-4419-6984-2
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-1-4419-6983-5
Specific material designation
remote
System control number
(OCoLC)663096644

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...