Tristan Charrier

Publications

110

Citations

H-Index

2015

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Centre National de la Recherche Scientifique

École Normale Supérieure de Rennes

Université de Rennes

Tristan Charrier is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningEpistemologyComputer ScienceSemanticsFormal VerificationVerificationCognitive ScienceDecision Theory

Publications per year

2015–2020

Publications

Arbitrary Public Announcement Logic with Mental Programs

Tristan Charrier, François Schwarzentruber · Adaptive Agents and Multi-Agents Systems · 2015 · 27 citations

Computational Logic, Cognitive Science, Engineering +14

DEL-based epistemic planning: Decidability and complexity

Thomas Bolander, Tristan Charrier, Sophie Pinchinat et al. · Artificial Intelligence · 2020 · 24 citations · Full text

Del-based Epistemic Planning, Engineering, Dynamic Epistemic Logic +5

Building epistemic logic from observations and public announcements

Tristan Charrier, Andreas Herzig, Emiliano Lorini et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2016 · 20 citations · Full text

Engineering, Dynamic Epistemic Logic, Automated Reasoning +10

On the impact of modal depth in epistemic planning

Tristan Charrier, Bastien Maubert, François Schwarzentruber · 2016 · 15 citations

Engineering, Automated Planning, Modal Depth +16

A Succinct Language for Dynamic Epistemic Logic

Tristan Charrier, François Schwarzentruber · Adaptive Agents and Multi-Agents Systems · 2017 · 14 citations

Engineering, Dynamic Epistemic Logic, Automated Reasoning +11

Rows per page

1–5 of 6