Tristan Charrier

According to our database, Tristan Charrier authored at least 16 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

DEL-based epistemic planning: Decidability and complexity.

Thomas Bolander, Tristan Charrier, Sophie Pinchinat, François Schwarzentruber

Artif. Intell., 2020

Complexity of planning for connected agents.

Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber

Auton. Agents Multi Agent Syst., 2020

2019

Symbolic model checking of public announcement protocols.

Tristan Charrier, Sophie Pinchinat, François Schwarzentruber

J. Log. Comput., 2019

Reachability and Coverage Planning for Connected Agents: Extended Version.

Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber

CoRR, 2019

Reachability and Coverage Planning for Connected Agents.

Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Hintikka's World: Scalable Higher-order Knowledge.

Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach. (Complexité théorique du raisonnement en logique épistémique dynamique et étude d'une approche symbolique).

Tristan Charrier

PhD thesis, 2018

Dynamic Connected Cooperative Coverage Problem.

Tristan Charrier, François Schwarzentruber, Eva Soulier

CoRR, 2018

Generating Plans for Cooperative Connected UAVs.

François Bodin, Tristan Charrier, Arthur Queffelec, François Schwarzentruber

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Complexity of Dynamic Epistemic Logic with Common Knowledge.

Tristan Charrier, François Schwarzentruber

Proceedings of the Advances in Modal Logic 12, 2018

2017

Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment.

Tristan Charrier, Sophie Pinchinat, François Schwarzentruber

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

A Succinct Language for Dynamic Epistemic Logic.

Tristan Charrier, François Schwarzentruber

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Building Epistemic Logic from Observations and Public Announcements.

Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

On the Impact of Modal Depth in Epistemic Planning.

Tristan Charrier, Bastien Maubert, François Schwarzentruber

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Arbitrary Public Announcement Logic with Mental Programs.

Tristan Charrier, François Schwarzentruber

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Big brother logic: reasoning about agents equipped with surveillance cameras in the plane (demonstration).

Tristan Charrier, Florent Ouchet, François Schwarzentruber

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014