Aidan Harding

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
A New Algorithm for Strategy Synthesis in LTL Games. TACAS (2005)
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME (2003)
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
in ATL. VMCAI (2002)