Accéder directement au contenu

Sophie Pinchinat

5
Documents

Présentation

This is attempt of a CV synthesis from HAL information.

Publications

francois-schwarzentruber

Symbolic model checking of public announcement protocols

 Tristan Charrier , Sophie Pinchinat , François Schwarzentruber
Journal of Logic and Computation, 2019, 29 (8), pp.1211-1249. ⟨10.1093/logcom/exz023⟩
Article dans une revue hal-02533680v1

Reachability Games in Dynamic Epistemic Logic

 Bastien Maubert , Sophie Pinchinat , François Schwarzentruber
the Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
Communication dans un congrès hal-02533558v1
Image document

Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment

 Tristan Charrier , Sophie Pinchinat , François Schwarzentruber
DALI@TABLEAUX, 2017, Brasília, Brazil
Communication dans un congrès hal-02534021v1
Image document

Games with Communication: from Belief to Preference Change

 Guillaume Aucher , Bastien Maubert , Sophie Pinchinat , François Schwarzentruber
Principles and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy
Communication dans un congrès hal-01194398v1

Dynamic Epistemic Logic Games with Epistemic Temporal Goals

 Bastien Maubert , Aniello Murano , Sophie Pinchinat , François Schwarzentruber , Silvia Stranieri
2020
Pré-publication, Document de travail hal-02533766v1