Login

Dastani, Mehdi

Specification and Verification of Multi-agent Systems

Dastani, Mehdi - Specification and Verification of Multi-agent Systems, ebook

124,00€

Ebook, PDF with Adobe DRM
ISBN: 9781441969842
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Using Theorem Proving to Verify Properties of Agent Programs
N. Alechina, M. Dastani, F. Khan, B. Logan, J.-J. Ch. Meyer

2. The Refinement of Multi-Agent Systems
L. Aştefănoaei, F.S. Boer

3. Model Checking Agent Communication
J. Bentahar, J.-J. Ch. Meyer, W. Wan

4. Directions for Agent Model Checking*
R.H. Bordini, L.A. Dennis, B. Farwer, M. Fisher

5. Model Checking Logics of Strategic Ability: Complexity*
N. Bulling, J. Dix, W. Jamroga

6. Correctness of Multi-Agent Programs: A Hybrid Approach
M. Dastani, J.-J. Ch. Meyer

7. The Norm Implementation Problem in Normative Multi-Agent Systems
D. Grossi, D. Gabbay, L. Torre

8. A Verification Logic for Goal Agents
K.V. Hindriks

9. Using the Maude Term Rewriting Language for Agent Development with Formal Foundations
M.B. Riemsdijk, L. Aştefănoaei, F.S. Boer

10. The Cognitive Agents Specification Language and Verification Environment
S. Shapiro, Y. Lespérance, H.J. Levesque

11. A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems
A. Sharpanskykh, J. Treur

12. Assurance of Agent Systems: What Role Should Formal Verification Play?
M. Winikoff

Keywords: Computer Science, Software Engineering/Programming and Operating Systems, Artificial Intelligence (incl. Robotics), Mathematical Logic and Formal Languages, Software Engineering, Computing Methodologies

Author(s)
 
 
Publisher
Springer
Publication year
2010
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9781441969842

Similar titles