Modelling multi-agent systems

Kirwan, R. and Miller, A. (2010) Modelling multi-agent systems. In: Automated Reasoning Workshop 2010 Bridging the Gap between Theory and Practice ARW 2010, Harrow, UK, 30-31 Mar 2010, pp. 18-19.

Full text not currently available from Enlighten.

Publisher's URL:


Model checking has been applied to many areas of software and hardware verification; this includes hybrid systems, which contain both hardware and software components. To model hybrid systems both types of component are included in a single model. In this research we consider hybrid systems in which multiple agents interact in an environment. An agent is a simple robot capable of moving, detecting obstacles and learning to avoid obstacles. The goal of this research is to discover a practical and standardised way of modelling these systems, and to develop theoretical techniques to measure performance.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Miller, Professor Alice
Authors: Kirwan, R., and Miller, A.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science

University Staff: Request a correction | Enlighten Editors: Update this record