Model checking multi-agent systems
This project investigates extentions of current model checking techniques to verify multi-agent systems.Research fellow: Dr Bożena Woźna
Principal Investigator: Dr Alessio Lomuscio
Grant Starts: 1 February 2004
Grant Ends: 30 June 2006
Grant Funding (UK pounds): 121,061£
EPSRC Research Topic Classifications:
- Artificial Intelligence Technologies
- Software Engineering
University College London
Department of Computer Science
Gower Street
London WC1E 6BT
United Kingdom