4 citations · 18 across the 15 of their papers we have counts for
15 papers · 1 filter
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…
Reasoning about strategies on collapsible pushdown arenas with imperfect information
Bastien Maubert, Aniello Murano, Olivier Serre
Strategy Logic with imperfect information (SLiR) is a very expressive logic designed to express complex properties of strategic abilities in distributed systems. Previous work on S…
Strategy Logic with Imperfect Information
Raphaël Berthon, Bastien Maubert, Aniello Murano +2
We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player…
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Bastien Maubert, Aniello Murano, Sophie Pinchinat +2
Dynamic Epistemic Logic (DEL) is a logical framework in which one can describe in great detail how actions are perceived by the agents, and how they affect the world. DEL games wer…
Timed Context-Free Temporal Logics
Laura Bozzelli, Aniello Murano, Adriano Peron
The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized f…
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…