We propose a general framework for modelling and formal reasoning about multi-agent
systems and, in particular, multi-stage games where both quantitative and qualitative …

In game theory, as well as in the semantics of game logics, a strategy can be represented by
any function from states of the game to the agent's actions. That makes sense from the …

Approaches to the verification of multi-agent systems are typically based on games or
transition systems defined in terms of states and actions. However such approaches often …

The overall aim of our research is to develop techniques to reason about the equilibrium
properties of multi-agent systems. We model multi-agent systems as concurrent games, in …

We study concurrent games with finite-memory strategies where players are given a B¨ uchi
and a mean-payoff objective, which are related by a lexicographic order: a player first …

We revisit decidability results for resource-bounded logics and use decision problems on
vector addition systems with states (VASS) in order to establish complexity characterisations …

In distributed agent systems, agents with different abilities work autonomously to reach a
common task, in the face of challenges posed by their environment. Two types of structures …

Abstract Alternating Time Temporal Logic (ATL) is widely used for the verification of multi-
agent systems. We consider Resource Agent Logic (RAL), which extends ATL to allow the …

The model-checking problem for Resource Agent Logic is known to be undecidable. We
review existing (un) decidability results and identify a significant fragment of the logic for …

If an agent, or a coalition of agents, knows that it has a strategy to achieve a certain outcome,
it does not mean that the agent knows what the strategy is. Even if the agent knows what the …