35 citations · 84 across the 17 of their papers we have counts for
15 papers · 1 filter
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…
Dealing with imperfect information in Strategy Logic
Sophia Knight, Bastien Maubert
We propose an extension of Strategy Logic (SL), in which one can both reason about strategizing under imperfect information and about players' knowledge. One original aspect of our…
Reachability Games in Dynamic Epistemic Logic
Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
We define reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models. We first consider the setting where an ex…
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…