EPSRC Grant: GR/S49353/01

  • Home
  • Abstract
  • Publications
  • Contact Us          arrow
  • Dr Alessio Lomuscio
  • Dr Bożena Woźna

  • Valid HTML 4.01!

    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
    Host institution:
           University College London
           Department of Computer Science
           Gower Street
           London WC1E 6BT
           United Kingdom