- 2
- 1
Sophie Pinchinat
3
Documents
Présentation
This is attempt of a CV synthesis from HAL information.
Publications
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
The complexity of one-agent refinement modal logicTheoretical Computer Science, 2015, 603, pp.58--83. ⟨10.1016/j.tcs.2015.07.015⟩
Article dans une revue
hal-01273557v1
|
|
Refinement modal logicInformation and Computation, 2014, 239, pp.37. ⟨10.1016/j.ic.2014.07.013⟩
Article dans une revue
hal-01098737v1
|
The Complexity of One-Agent Refinement Modal LogicIJCAI 2013 - 23rd International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China
Communication dans un congrès
hal-01098744v1
|