Aidan Harding

(Former)

Publications

  1. 2005
  2. Published

    A New Algorithm for Strategy Synthesis in LTL Games

    Aidan Harding, Mark Ryan, 1 Jan 2005, In: Lecture Notes in Computer Science. 3440, p. 477-492 16 p.

    Research output: Contribution to journalArticlepeer-review