| |
| 2005 | ||
|---|---|---|
| 3 | EE | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens: A New Algorithm for Strategy Synthesis in LTL Games. TACAS 2005: 477-492 |
| 2003 | ||
| 2 | EE | 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 |
| 2002 | ||
| 1 | EE | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens: Approximating ATL* in ATL. VMCAI 2002: 289-301 |
| 1 | Mark Ryan (Mark Dermot Ryan) | [1] [2] [3] |
| 2 | Pierre-Yves Schobbens | [1] [2] [3] |