UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Verification of multiagent systems via unbounded model checking

Kacprzak, M; Lomuscio, A; Penczek, W; (2004) Verification of multiagent systems via unbounded model checking. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems: AAMAS 2004: New York City, New York, USA: 19-23 July 2004. (pp. 638 - 645). ACM Press: New York, US.

Full text not available from this repository.


We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend the technique of unbounded model checking from a purely temporal setting to a temporal-epistemic one. In order to achieve this, we base our discussion on interpreted systems semantics, a popular semantics used in multi-agent systems literature.We give details of the technique and show how it can be applied to the well-known train, gate and controller problem.

Type: Proceedings paper
Title: Verification of multiagent systems via unbounded model checking
ISBN: 1581138644
DOI: 10.1109/AAMAS.2004.242514
Publisher version: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arn...
UCL classification: UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/181091
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item