2 papers
cs.GT2023
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)
Julian Gutierrez, Anthony W. Lin, Muhammad Najib +2
Concurrent multi-player mean-payoff games are important models for systems of agents with individual, non-dichotomous preferences. Whilst these games have been extensively studied…
cs.LO2020
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…