Approximating ATL* in ATL. - Aidan Harding; Mark Ryan 001; Pierre-Yves Schobbens (VMCAI, 2002)

Towards Symbolic Strategy Synthesis for left langle { left langle A right rangle } right rangle-LTL. - Aidan Harding; Mark Ryan 001; Pierre-Yves Schobbens (TIME, 2003)

A New Algorithm for Strategy Synthesis in LTL Games. - Aidan Harding; Mark Ryan 001; Pierre-Yves Schobbens (TACAS, 2005)