Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sophie Pinchinat
Map detail
Sophie Pinchinat9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSophie PinchinatASophie PinchinatResearcherOpacity Issues in Games with Imperfect InformationWOpacity Issues in Games...preprint / 2011The Complexity of Synthesizing Uniform StrategiesWThe Complexity of Synth...preprint / 2013Uniform StrategiesWUniform Strategiespreprint / 2012Dynamic Epistemic Logic Games with Epistemic Temporal GoalsWDynamic Epistemic Logic...preprint / 2020Automata Techniques for Epistemic Protocol SynthesisWAutomata Techniques for...preprint / 2014The Expressive Power of Epistemic $μ$-CalculusWThe Expressive Power of...preprint / 2014Unifying Hyper and Epistemic Temporal LogicWUnifying Hyper and Epis...preprint / 2014Specifying RobustnessWSpecifying Robustnesspreprint / 2013
Person8 links

Sophie Pinchinat

Researcher