- 5
- 3
François Schwarzentruber
8
Documents
Identifiants chercheurs
- francois-schwarzentruber
- 0000-0002-1228-4333
- IdRef : 158488911
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
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 and Coverage Planning for Connected AgentsIJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1-7
Communication dans un congrès
hal-02349475v1
|
|
Reachability and Coverage Planning for Connected AgentsAAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montreal, Canada. pp.1874-1876
Communication dans un congrès
hal-02349490v1
|
|
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
|
|
Building epistemic logic from observations and public announcements15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), co-located with DL 2016 and NMR 2016, Apr 2016, Le Cap, South Africa. pp.268-277
Communication dans un congrès
hal-04109521v1
|
|
Hintikka's World: Scalable Higher-order Knowledge2019, pp.6494-6496
Autre publication scientifique
hal-03664506v1
|
|
A Succinct Language for Dynamic Epistemic Logic (long version)[Research Report] Irisa; Ens Rennes. 2017
Rapport
hal-01487001v1
|
|
On the Impact of Modal Depth in Epistemic Planning (Extended Version)[Research Report] IRISA, équipe LogicA. 2016
Rapport
hal-01315107v1
|