EPSRC logo

Details of Grant 

EPSRC Reference: GR/S49353/01
Title: Model checking multi-agent systems
Principal Investigator: Lomuscio, Professor AR
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: Kings College London
Scheme: First Grant Scheme Pre-FEC
Starts: 01 February 2004 Ends: 31 October 2004 Value (£): 121,061
EPSRC Research Topic Classifications:
Artificial Intelligence Software Engineering
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
Model checking techniques are concerned with the formal verification of software. Their aim is to prove in a formal and precise way that particular properties are satisfied by a certain system. While model checking is now an established area of research in software engineering of (traditional) distributed systems, this is not the case in multi-agent systems (MAS). MAS is a new and rapidly growing paradigm in computing for modelling and implementing distributed systems where the entities are complex, autonomous, and interacting with one another. Although MAS has been proven to be a successful paradigm for modelling and building critical applications, they still lack the tools for a formal verification. Current model checking tools abstract away from the crucial notions in use in MAS, such as knowledge, beliefs, intentions, etc, of the components of the system, and so they cannot be readily applied to MAS verification. This research aims at filling this gap by studying and developing tools and techniques that will enable MAS verification.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: