Amélie David

On the Expressiveness of QCTL

Nicolas Markey, François Laroussinie, Amélie David, 2016, CONCUR.

Minimisation of Models Satisfying CTL Formulas

Valentin Goranko, Serenella Cerrito, Amélie David, 2019, TIME.

TATL: Implementation of ATL Tableau-Based Decision Procedure

Amélie David, 2013, TABLEAUX.

Deciding ATL*Satisfiability by Tableaux

Amélie David, 2015, CADE.

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+

Valentin Goranko, Serenella Cerrito, Amélie David, 2014, IJCAR.

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+

Valentin Goranko, Serenella Cerrito, Amélie David, 2015, ACM Trans. Comput. Log..

Minimisation of ATL ^* Models

Serenella Cerrito, Amélie David, 2017, TABLEAUX.

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, 2015 .