7 citations · 28 across the 16 of their papers we have counts for
8 papers · 1 filter
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli +1
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we explore the concept of equilibr…
On the Complexity of Rational Verification
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli +1
Rational verification refers to the problem of checking which temporal logic properties hold of a concurrent multiagent system, under the assumption that agents in the system choos…
Multi-Player Games with LDL Goals over Finite Traces
Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge
Linear Dynamic Logic on finite traces LDLf is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems. In this paper, we investigate techniques for…
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…
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli +1
In the context of multi-agent systems, the rational verification problem is concerned with checking which temporal logic properties will hold in a system when its constituent agent…
Nash Equilibrium and Bisimulation Invariance
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli +1
Game theory provides a well-established framework for the analysis of concurrent and multi-agent systems. The basic idea is that concurrent processes (agents) can be understood as…