- 6
- 2
Sophie Pinchinat
8
Documents
Présentation
This is attempt of a CV synthesis from HAL information.
Publications
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
|
Alternating Tree Automata with Qualitative SemanticsACM Transactions on Computational Logic, 2020, 22 (1), ⟨10.1145/3431860⟩
Article dans une revue
hal-02533936v1
|
A General Notion of Uniform StrategiesInternational Game Theory Review, 2013, 16 (1), pp.33. ⟨10.1142/S0219198914400040⟩
Article dans une revue
hal-01098738v1
|
|
Automata Techniques for Epistemic Protocol Synthesis2nd 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 StrategiesIARCS 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 Strategies1st 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
|
Dynamic Epistemic Logic Games with Epistemic Temporal Goals2020
Pré-publication, Document de travail
hal-02533766v1
|
|
Uniform Strategies[Research Report] RR-8144, INRIA. 2012
Rapport
hal-00760370v1
|
|
Opacity Issues in Games with Imperfect Information[Research Report] 2011, pp.27
Rapport
inria-00630077v1
|