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.