33 citations · 65 across the 13 of their papers we have counts for
4 papers · 1 filter
Adversarial Formal Semantics of Attack Trees and Related Problems
Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko
Security is a subject of increasing attention in our actual society in order to protect critical resources from information disclosure, theft or damage. The informal model of attac…
The Complexity of Synthesizing Uniform Strategies
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
We investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not μ-calculus definable. T…
Uniform Strategies
Bastien Maubert, Sophie Pinchinat
We consider turn-based game arenas for which we investigate uniformity properties of strategies. These properties involve bundles of plays, that arise from some semantical motive.…
Opacity Issues in Games with Imperfect Information
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
We study in depth the class of games with opacity condition, which are two-player games with imperfect information in which one of the players only has imperfect information, and w…