clima v

fifth workshop on computational logic in multi-agent systems

[home] [call for papers] [important dates] [proceedings] [program committee] [past events]

[submissions] [accepted papers] [invited talk] [program] [registration] [accommodation]

[venue] [travel information] [inquiries] [steering committee] [about lisbon]

invited talk

specification and verification of multiagent systems by alessio lomuscio, university college london, uk
 

in this talk i shall try and argue that appropriate techniques based on formalisms based on modal logic provide a powerful tool for the specification and verification of multiagent systems. the talk will consist of two parts. in the first part the idea of specifications of multiagent systems by means of temporal epistemic logic will be put forward and the main results presented. in the second, attention will be given to the problem of verifying that a multiagent system follows said specifications; the main techniques for verification by model checking (via obdd and sat) will be introduced and demonstrated.

Invited speaker partially supported by