Aidan Harding

According to our database, Aidan Harding authored at least 3 papers between 2002 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

A New Algorithm for Strategy Synthesis in LTL Games.

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2003

Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL.

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

2002

Approximating ATL^* in ATL.

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

Proceedings of the Verification, 2002