4 citations · 7 across the 5 of their papers we have counts for
6 papers
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…
Event-Clock Nested Automata
Laura Bozzelli, Aniello Murano, Adriano Peron
In this paper we introduce and study Event-Clock Nested Automata (ECNA), a formalism that combines Event Clock Automata (ECA) and Visibly Pushdown Automata (VPA). ECNA allow to exp…
On the Complexity of ATL and ATL* Module Checking
Laura Bozzelli, Aniello Murano
Module checking has been introduced in late 1990s to verify open systems, i.e., systems whose behavior depends on the continuous interaction with the environment. Classically, modu…
Extended Graded Modalities in Strategy Logic
Benjamin Aminof, Vadim Malvone, Aniello Murano +1
Strategy Logic (SL) is a logical formalism for strategic reasoning in multi-agent systems. Its main feature is that it has variables for strategies that are associated to specific…
Proceedings 1st International Workshop on Strategic Reasoning
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
This volume contains the proceedings of the 1st International Workshop on Strategic Reasoning 2013 (SR 2013), held in Rome (Italy), March 1617, 2013. The SR workshop aims to bring…
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification
Marco Faella, Aniello Murano
This volume contains the proceedings of the Third International Symposium on Games, Automata, Logic and Formal Verification (GandALF), held in Naples (Italy) from September 6th to…