Amélie David

Available identifiers

zbMath Open david.amelieMaRDI QIDQ1694464

List of research outcomes

Publication	Date of Publication	Type
On the Expressiveness of QCTL	2018-03-21	Paper
Minimisation of \(\mathrm{ATL}^*\) models	2018-02-02	Paper
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL +	2017-07-12	Paper
Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux	2015-12-02	Paper
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+	2014-09-26	Paper
TATL: Implementation of ATL Tableau-Based Decision Procedure	2013-10-04	Paper

Research outcomes over time

This page was built for person: Amélie David