Related Books

Specification and Verification of Multi-agent Systems
Language: en
Pages: 415
Authors: Mehdi Dastani
Categories: Computers
Type: BOOK - Published: 2010-07-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems
Specification and Verification of Multi-agent Systems
Language: en
Pages: 405
Authors: Mehdi Dastani
Categories: Computers
Type: BOOK - Published: 2010-09-16 - Publisher: Springer

DOWNLOAD EBOOK

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems
An Introduction to MultiAgent Systems
Language: en
Pages: 484
Authors: Michael Wooldridge
Categories: Computers
Type: BOOK - Published: 2009-06-22 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

The study of multi-agent systems (MAS) focuses on systems in which many intelligent agents interact with each other. These agents are considered to be autonomou
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 319
Authors: T. C. Nicholas Graham
Categories: Computers
Type: BOOK - Published: 2008-07-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handhe
Engineering Multi-Agent Systems
Language: en
Pages: 239
Authors: Matteo Baldoni
Categories: Computers
Type: BOOK - Published: 2016-12-15 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore