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, (electronic resource)

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

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
Provider
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
Member of
Cataloging source
GW5XE
Image bit depth
0
LC call number
QA76.76.I58
LC item number
S64 2010
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • SpringerLink
  • Dastani, Mehdi
  • Hindriks, Koen V
  • Meyer, John-Jules Ch
http://library.link/vocab/subjectName
  • Multiagent systems
  • Computer software
  • COMPUTERS
  • Informatique
  • Computer software
  • Multiagent systems
  • Electronic books
Label
Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references (pages 385-405)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
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?
Dimensions
unknown
Extent
1 online resource (xvii, 405 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9781441969842
Level of compression
uncompressed
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
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Stock number
978-1-4419-6983-5
System control number
  • (OCoLC)663096644
  • (OCoLC)ocn663096644
Label
Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek, (electronic resource)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references (pages 385-405)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
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?
Dimensions
unknown
Extent
1 online resource (xvii, 405 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9781441969842
Level of compression
uncompressed
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
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Stock number
978-1-4419-6983-5
System control number
  • (OCoLC)663096644
  • (OCoLC)ocn663096644

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...