Equilibria for Games with Combined Qualitative and Quantitative Objectives

Julian Gutierrez, Aniello Murano, Giuseppe Perelli +3

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 whi…