Home Online Resources Table of Contents

Journal of Logic and Computation, Volume 8, Issue 3: June 1998.

Model checking multiagent systems

M Benerecetti1,3, F Giunchiglia1,2,4 and L Serafini2,5

1DISA - Universita degli Studi di Trento, Via Inama 5, 38100 Trento, Italy, 2IRST - Istituto Trentino di Cultura, 38050 Povo, Trento, Italy, 3E-mail: bene@cs.unitn.it, 4E-mail: fausto@irst.itc.it, 5E-mail: serafini@irst.itc.it

Model checking is a very successful technique which has been applied in the design and verification of finite state concurrent reactive processes. In this paper we show how this technique can be lifted to be applicable to multiagent systems. Our approach allows us to reuse the technology and tools developed in model checking, to design and verify multiagent systems in a modular and incremental way, and also to have a very efficient model checking algorithm.

Pages 401-423


This page is run by Oxford University Press, Great Clarendon Street, Oxford OX2 6DP, UK
as part of the OUP Journals World Wide Web service.
Comments and feedback: www-admin@oup.co.uk
URL: http://www.oup.co.uk/logcom/hdb/Volume_08/Issue_03/080401.sgm.abs.html
Last modification: 22 July 1998.
Copyright© Oxford University Press, 1998.