H
[Har05] Aidan Harding. Symbolic Strategy Synthesis for Games with LTL Winning Conditions. PhD thesis, School of Computer Science, University of Birmingham, UK, March 2005.
@phdthesis{phd-harding,
  author =              {Harding, Aidan},
  title =               {Symbolic Strategy Synthesis for Games with {LTL}
                         Winning Conditions},
  year =                {2005},
  month =               mar,
  school =              {School of Computer Science, University of
                         Birmingham, UK},
}
List of authors