Verification of Resource-Bounded Multi-Agent Systems

The project is funded by the EPSRC grants EP/K033905/1 and EP/K033921/1 and aims to develop model checking techniques for multi-agent systems where actions produce and consume resources.

Current members of the research team are (left to right in the picture) are: Brian Logan, Natasha Alechina, Thomas Methrayil Varghese, and Franco Raimondi. A former member, who contributed a lot to the project, is Hoang Nga Nguyen.

Some publications produced by the project:

This file is maintained by Natasha Alechina
Last modified: 23-Sep-2016