Skip to Main content
Number of documents


CV Sophie Pinchinat

This is attempt of a CV synthesis from HAL information.

Hans van Ditmarsch   

Journal articles2 documents

Conference papers1 document

  • Laura Bozzelli, Hans P. Van Ditmarsch, Sophie Pinchinat. The Complexity of One-Agent Refinement Modal Logic. IJCAI 2013 - 23rd International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. ⟨hal-01098744⟩