Skip to Main content
Number of documents

5

CV Sophie Pinchinat


This is attempt of a CV synthesis from HAL information.


François Schwarzentruber   

Journal articles1 document

  • Tristan Charrier, Sophie Pinchinat, François Schwarzentruber. Symbolic model checking of public announcement protocols. Journal of Logic and Computation, Oxford University Press (OUP), 2019, 29 (8), pp.1211-1249. ⟨10.1093/logcom/exz023⟩. ⟨hal-02533680⟩

Conference papers3 documents

  • Bastien Maubert, Sophie Pinchinat, François Schwarzentruber. Reachability Games in Dynamic Epistemic Logic. the Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. ⟨hal-02533558⟩
  • Tristan Charrier, Sophie Pinchinat, François Schwarzentruber. Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment. DALI@TABLEAUX, 2017, Brasília, Brazil. ⟨hal-02534021⟩
  • Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber. Games with Communication: from Belief to Preference Change. Principles and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy. ⟨hal-01194398⟩

Preprints, Working Papers, ...1 document

  • Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri. Dynamic Epistemic Logic Games with Epistemic Temporal Goals. 2020. ⟨hal-02533766⟩