| EPSRC Reference: |
GR/S49353/02 |
| Title: |
Model checking multi-agent systems |
| Principal Investigator: |
Lomuscio, Professor AR |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
UCL |
| Scheme: |
First Grant Scheme Pre-FEC |
| Starts: |
01 November 2004 |
Ends: |
30 September 2006 |
Value (£): |
85,343
|
| 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: |
|