| |
| 2006 | ||
|---|---|---|
| 3 | EE | Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen: Towards a Model-Checker for Counter Systems. ATVA 2006: 493-507 |
| 2 | EE | Valentin Goranko, Govert van Drimmelen: Complete axiomatization and decidability of Alternating-time temporal logic. Theor. Comput. Sci. 353(1-3): 93-117 (2006) |
| 2003 | ||
| 1 | EE | Govert van Drimmelen: Satisfiability in Alternating-time Temporal Logic. LICS 2003: 208-217 |
| 1 | Stéphane Demri | [3] |
| 2 | Alain Finkel | [3] |
| 3 | Valentin Goranko | [2] [3] |