Tristan Charrier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2016–2019
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | IJCAI | Hintikka's World: Scalable Higher-order Knowledge. | Tristan Charrier, Sbastien Gamblin, Alexandre Niveau, Franois Schwarzentruber |
| 2019 | IJCAI | Reachability and Coverage Planning for Connected Agents. | Tristan Charrier, Arthur Queffelec, Ocan Sankur, Franois Schwarzentruber |
| 2018 | AiML | Complexity of Dynamic Epistemic Logic with Common Knowledge. | Tristan Charrier, Franois Schwarzentruber |
| 2018 | IJCAI | Generating Plans for Cooperative Connected UAVs. | Franois Bodin, Tristan Charrier, Arthur Queffelec, Franois Schwarzentruber |
| 2017 | TABLEAUX | Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. | Tristan Charrier, Sophie Pinchinat, Franois Schwarzentruber |
| 2016 | IJCAI | On the Impact of Modal Depth in Epistemic Planning. | Tristan Charrier, Bastien Maubert, Franois Schwarzentruber |
| 2016 | KR | Building Epistemic Logic from Observations and Public Announcements. | Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, Franois Schwarzentruber |