Computer Science

News and events

6 October 2017

Verification of resource-bounded multi-agent systems

Presented By Prof Natasha Alechina of University of Nottingham
  • N.1.12, Haslegrave Building

About this event


Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However this does not take into account a key aspect of multi-agent systems, namely that the agents' actions require (and sometimes produce) resources. I will introduce main concepts in specification and verification of multi-agent systems (state transition systems, concurrent game structures, temporal and strategic logics, model checking). Then I will present recent joint work on adding resources to the specification of multi-agent systems and on model-checking algorithms for verifying properties that involve resource requirements.