Alternating-time temporal logic (ATL) is a modal logic that allows to reason about agents'
abilities in game-like scenarios. Semantic variants of ATL are usually built upon different …

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 online advertising, search engines sell ad placements for keywords continuously through
auctions. This problem can be seen as an infinitely repeated game since the auction is …

Many problems in AI and multi-agent systems research are most naturally formulated in
terms of the abilities of a coalition of agents. There exist several excellent logical tools for …

We describe a novel framework for modelling railway interlockings which has been
developed in conjunction with railway engineers. The modelling language used is CSP|||| B …

The verification and modelling of multi-agent systems is an important topic that has attracted
much attention in recent years. Resources, however, have only recently been studied as …

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 …

Coalition logic is currently one of the most popular logics for multi-agent systems. While
logics combining coalitional and epistemic operators have received considerable attention …

Game theory provides a powerful mathematical framework to reason about the interaction of
autonomous, purposeful agents. It has seen numerous applications in robotics, computer …

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 …