| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Aidan Harding Aidan Harding, Mark Ryan , Pierre-Yves Schobbens : Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME 2003 : 137-146 Aidan Harding, Mark Ryan , Pierre-Yves Schobbens : Approximating ATL * in ATL. VMCAI 2002 : 289-301 1 [ 1 ] [ 2 ] 2 [ 1 ] [ 2 ]  ©2004 Association for Computing Machinery |
