Accéder directement au contenu

François Schwarzentruber

5
Documents
Identifiants chercheurs

Présentation

Publications

sophie-pinchinat

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