209 citations · 595 across the 30 of their papers we have counts for
4 papers · 1 filter
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…
Replication-Robust Payoff-Allocation for Machine Learning Data Markets
Dongge Han, Michael Wooldridge, Alex Rogers +2
Submodular functions have been a powerful mathematical model for a wide range of real-world applications. Recently, submodular functions are becoming increasingly important in mach…