Specification and Verification of Multi-agent Systems

Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer

Тип: PDF
Категория: ТЕХНИКА

Скачать

Купить

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.

Другие файлы:

Architecture-Based Design of Multi-Agent Systems
Multi-agent systems are claimed to be especially suited to the development of software systems that are decentralized, can deal flexibly with dynamic...

Specification of Software Systems (Texts in Computer Science)
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with ad...

Multi-Agent Programming: Languages, Platforms and Applications (Multiagent Systems, Artificial Societies, and Simulated Organizations)
Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. While previous researc...

Multi-Agent Machine Learning: A Reinforcement Approach
• Framework for understanding a variety of methods and approaches in multi-agent machine learning.• Discusses methods of reinforcement learning such a...

Real-Time Systems, Architecture, Scheduling, and Application
This book is a rich text for introducing diverse aspects of real-time systems including architecture, specification and verification, scheduling and r...