Sophie Pinchinat

Full Professor, IRISA, Université Bretagne Sud

Joined

July 2019

Names

Sophie Pinchinat (Preferred)

Emails

****@irisa.fr (Confirmed)

Personal Links

Career & Education History

Full Professor

IRISA, Université Bretagne Sud (irisa.fr)

2010 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

Formal methods

Present

Strategic Reasoning

Present

Logic

,

games and automata

Present

Publications

Small Undecidable Problems in Epistemic Planning
Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber
- 2018 (modified: 10 Nov 2022)
- IJCAI 2018
- Readers: Everyone
The Complexity of One-Agent Refinement Modal Logic
Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
- 2013 (modified: 16 Jul 2019)
- IJCAI 2013
- Readers: Everyone

Co-Authors