Travelled to:1 × Austria
1 × Germany
Collaborated with:∅ S.Cerrito V.Goranko
Talks about:tableaux (2) satisfi (2) atl (2) procedur (1) tempor (1) altern (1) optim (1) logic (1) decis (1) decid (1)
Person: Amélie David
DBLP: David:Am=eacute=lie
Contributed to:
2015
2014Wrote 2 papers:
- CADE-2015-David #satisfiability
- Deciding ATL* Satisfiability by Tableaux (AD), pp. 214–228.
- IJCAR-2014-CerritoDG #atl #logic #satisfiability #testing
- Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.