35 citations · 84 across the 17 of their papers we have counts for
3 papers · 2 filters
Unifying Hyper and Epistemic Temporal Logic
Laura Bozzelli, Bastien Maubert, Sophie Pinchinat
In the literature, two powerful temporal logic formalisms have been proposed for expressing information flow security requirements, that in general, go beyond regular properties. O…
The Expressive Power of Epistemic -Calculus
Cătălin Dima, Bastien Maubert, Sophie Pinchinat
While the -calculus notoriously subsumes Alternating-time Temporal Logic (ATL), we show that the epistemic -calculus does not subsume ATL with imperfect information (ATL)…
Automata Techniques for Epistemic Protocol Synthesis
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing…