Amélie David

Affiliations:
  • Laboratoire IBISC, Université d'Évry Val d'Essonne, Évry Cedex, France


According to our database1, Amélie David authored at least 9 papers between 2013 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Minimisation of Models Satisfying CTL Formulas.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

2017
Minimisation of ATL ^* Models.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2016
On the Expressiveness of QCTL.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

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).
PhD thesis, 2015

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL<sup>+</sup>.
ACM Trans. Comput. Log., 2015

Deciding ATL<sup>*</sup>Satisfiability by Tableaux.
Proceedings of the Automated Deduction - CADE-25, 2015

2014
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+.
CoRR, 2014

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013
TATL: Implementation of ATL Tableau-Based Decision Procedure.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013


  Loading...