Logga in

Dastani, Mehdi

Specification and Verification of Multi-agent Systems

Dastani, Mehdi - Specification and Verification of Multi-agent Systems, e-bok

109,95€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9781441969842
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

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

Författare
 
 
Utgivare
Springer
Utgivningsår
2010
Språk
en
Utgåva
1
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9781441969842

Liknande e-böcker