Tristan Charrier

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