TATL: Implementation of ATL Tableau-Based Decision Procedure. - Amélie David 001 (TABLEAUX, 2013)

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. - Serenella Cerrito; Amélie David 001; Valentin Goranko (IJCAR, 2014)

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+. - Serenella Cerrito; Amélie David 001; Valentin Goranko (CoRR, 2014)

Deciding ATL*Satisfiability by Tableaux. - Amélie David 001 (CADE, 2015)

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+. - Serenella Cerrito; Amélie David 001; Valentin Goranko (ACM Trans. Comput. Log., 2015)

Towards Synthesizing Open Systems: Tableaux For Multi-Agent Temporal Logics. (Vers la Synthèse de Systèmes Ouverts : Tableaux pour les Logiques Temporelles Multi-Agents). - Amélie David 001 (2015)

On the Expressiveness of QCTL. - Amélie David 001; François Laroussinie; Nicolas Markey (CONCUR, 2016)

Minimisation of ATL ^* Models. - Serenella Cerrito; Amélie David 001 (TABLEAUX, 2017)

Minimisation of Models Satisfying CTL Formulas. - Serenella Cerrito; Amélie David 001; Valentin Goranko (TIME, 2019)