Equilibria for Games with Combined Qualitative and Quantitative Objectives

From this standpoint, agents/processes in a multi-agent system can be understood as players in a game played on a directed graph (a transition system), acting strategically and independently in pursuit of their preferences. In this setting, possible behaviours of agents correspond to the strategies of players. One important strand of work in this tradition has been the development of techniques for reasoning about what properties players (or coalitions of players) can bring about (i.e., whether they have "winning strategies" for certain conditions) [4]. Recently, attention has begun to shift from the analysis of strategic ability to the analysis of the equilibrium properties of such systems. A typical question in this setting is whether a particular temporal property will hold under the assumption that players select strategies that collectively form a Nash equilibrium [35]. A fundamental question in this work is how the preferences of agents are represented.