209 citations · 595 across the 30 of their papers we have counts for
5 papers · 1 filter
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…