- 3
- 1
- 1
François Schwarzentruber
5
Documents
Identifiants chercheurs
- francois-schwarzentruber
- 0000-0002-1228-4333
- IdRef : 158488911
Présentation
Publications
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
Symbolic model checking of public announcement protocolsJournal 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 Logicthe Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
Communication dans un congrès
hal-02533558v1
|
|
|
Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragmentDALI@TABLEAUX, 2017, Brasília, Brazil
Communication dans un congrès
hal-02534021v1
|
|
Games with Communication: from Belief to Preference ChangePrinciples 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 Goals2020
Pré-publication, Document de travail
hal-02533766v1
|