Sophie Pinchinat

2 accepted papers

2022

Formula Synthesis in Propositional Dynamic Logic with Shuffle

Sophie Pinchinat, Sasha Rubin, François Schwarzentruber

AAAI 2022technical

We introduce the formula-synthesis problem for Propositional Dynamic Logic with Shuffle (PDL || ). This problem, which generalises the model-checking problem againsts PDL || is the following: given a finite transition system and a regular term-grammar that generates (possibly infinitely many) PDL |…

Cited by 3 Source ↗PDF ↗Scholar ↗

2020

Concurrent Games in Dynamic Epistemic Logic

Bastien Maubert, Sophie Pinchinat, Francois Schwarzentruber, Silvia Stranieri

IJCAI 2020poster

Action models of Dynamic Epistemic Logic (DEL) represent precisely how actions are perceived by agents. DEL has recently been used to define infinite multi-player games, and it was shown that they can be solved in some cases. However, the dynamics being defined by the classic DEL update product for…

Cited by 0 Source ↗PDF ↗Scholar ↗