Satisfiability in Alternating-time Temporal Logic. - Govert van Drimmelen (LICS, 2003)

Towards a Model-Checker for Counter Systems. - Stéphane Demri; Alain Finkel; Valentin Goranko; Govert van Drimmelen (ATVA, 2006)

Complete axiomatization and decidability of Alternating-time temporal logic. - Valentin Goranko; Govert van Drimmelen (Theor. Comput. Sci., 2006)

Model-checking CTL* over flat Presburger counter systems. - Stéphane Demri; Alain Finkel; Valentin Goranko; Govert van Drimmelen (J. Appl. Non Class. Logics, 2010)