Amélie David
From MaRDI portal
Person:1694464
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 \(\mathrm{ATL}^+\) ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| Deciding \(\mathsf {ATL}^*\) satisfiability by tableaux Automated Deduction - CADE-25 | 2015-12-02 | Paper |
| Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ Automated Reasoning | 2014-09-26 | Paper |
| TATL: Implementation of ATL Tableau-Based Decision Procedure Lecture Notes in Computer Science | 2013-10-04 | Paper |
Research outcomes over time
This page was built for person: Amélie David
