Pinchinat, Sophie

5 publications

AAAI 2022 Formula Synthesis in Propositional Dynamic Logic with Shuffle Sophie Pinchinat, Sasha Rubin, François Schwarzentruber

IJCAI 2020 Concurrent Games in Dynamic Epistemic Logic Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri

IJCAI 2019 Reachability Games in Dynamic Epistemic Logic Bastien Maubert, Sophie Pinchinat, François Schwarzentruber

IJCAI 2018 Small Undecidable Problems in Epistemic Planning Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber

IJCAI 2013 The Complexity of One-Agent Refinement Modal Logic Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat