33 citations · 65 across the 13 of their papers we have counts for
15 papers
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…
On the Role of Postconditions in Dynamic First-Order Epistemic Logic
Côme Neyrand, Sophie Pinchinat
Dynamic Epistemic Logic (DEL) is a logic that models information change in a multi-agent setting through the use of action models with pre- and post-conditions. In a recent work, D…
Alternating Tree Automata with Qualitative Semantics
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot +7
We study alternating automata with qualitative semantics over infinite binary trees: alternation means that two opposing players construct a decoration of the input tree called a r…
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…
The Packed Interval Covering Problem is NP-complete
Abdallah Saffidine, Sébastien Lê Cong, Sophie Pinchinat +1
We introduce a new decision problem, called Packed Interval Covering (PIC) and show that it is NP-complete.
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…