Accéder directement au contenu

Sophie Pinchinat

8
Documents

Présentation

This is attempt of a CV synthesis from HAL information.

Publications

911207
Image document

Automata Techniques for Epistemic Protocol Synthesis

Guillaume Aucher , Bastien Maubert , Sophie Pinchinat
2nd International Workshop on Strategic Reasoning, Apr 2014, 2014-04-06, France. pp.11, ⟨10.4204/EPTCS.146.13⟩
Communication dans un congrès hal-01098740v1

Jumping Automata for Uniform Strategies

Bastien Maubert , Sophie Pinchinat
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2013, Guwahati, India. ⟨10.4230/LIPIcs.FSTTCS.2013.287⟩
Communication dans un congrès hal-01098741v1

The Complexity of Synthesizing Uniform Strategies

Bastien Maubert , Sophie Pinchinat , Laura Bozzelli
1st International Workshop on Strategic Reasoning, {SR} 2013, Mar 2013, Rome, Italy. pp.8, ⟨10.4204/EPTCS.112.17⟩
Communication dans un congrès hal-01098745v1