Specification and Verification of Multi-agent Systems

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