6 citations · 6 across the 7 of their papers we have counts for
6 papers · 1 filter
Behavioral QLTL
Giuseppe De Giacomo, Giuseppe Perelli
In this paper we introduce Behavioral QLTL, which is a ``behavioral'' variant of linear-time temporal logic on infinite traces with second-order quantifiers. Behavioral QLTL is cha…
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…
Reconfigurable Interaction for MAS Modelling
Yehia Abd Alrahman, Giuseppe Perelli, Nir Piterman
We propose a formalism to model and reason about multi-agent systems. We allow agents to interact and communicate in different modes so that they can pursue joint tasks; agents may…
Reasoning about Quality and Fuzziness of Strategic Behaviours
Patricia Bouyer, Orna Kupferman, Nicolas Markey +3
Temporal logics are extensively used for the specification of on-going behaviours of reactive systems. Two significant developments in this area are the extension of traditional te…