Tristan Charrier

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 14

Top Topics

Epistemic Logic

Planning Problems

Reactive Agents

Top Venues

Publications

Thomas Bolander, Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
DEL-based epistemic planning: Decidability and complexity. Artif. Intell. 287 (2020)
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Complexity of planning for connected agents. Auton. Agents Multi Agent Syst. 34 (2) (2020)
Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
Symbolic model checking of public announcement protocols. J. Log. Comput. 29 (8) (2019)
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Reachability and Coverage Planning for Connected Agents. IJCAI (2019)
Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber
Hintikka's World: Scalable Higher-order Knowledge. IJCAI (2019)
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Reachability and Coverage Planning for Connected Agents. AAMAS (2019)
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Reachability and Coverage Planning for Connected Agents: Extended Version. CoRR (2019)
Tristan Charrier, François Schwarzentruber
Complexity of Dynamic Epistemic Logic with Common Knowledge. Advances in Modal Logic (2018)
François Bodin, Tristan Charrier, Arthur Queffelec, François Schwarzentruber
Generating Plans for Cooperative Connected UAVs. IJCAI (2018)
Tristan Charrier, François Schwarzentruber, Eva Soulier
Dynamic Connected Cooperative Coverage Problem. CoRR (2018)
Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. DALI@TABLEAUX (2017)
Tristan Charrier, François Schwarzentruber
A Succinct Language for Dynamic Epistemic Logic. AAMAS (2017)
Tristan Charrier, Bastien Maubert, François Schwarzentruber
On the Impact of Modal Depth in Epistemic Planning. IJCAI (2016)
Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Building Epistemic Logic from Observations and Public Announcements. KR (2016)
Tristan Charrier, François Schwarzentruber
Arbitrary Public Announcement Logic with Mental Programs. AAMAS (2015)
Tristan Charrier, Florent Ouchet, François Schwarzentruber
Big brother logic: reasoning about agents equipped with surveillance cameras in the plane (demonstration). AAMAS (2014)