@TechReport{Gel12,
  author =	 "Marcus Gelderie",
  title =	 "Strategy Machines and their Complexity",
  institution =	 "RWTH Aachen",
  keywords = "game theory, controller synthesis, strategy representation",
  year =	 "2012",
  number =	 "AIB-2001-02",
  month =	 mar,
  url =          "http://aib.informatik.rwth-aachen.de/2012/2012-04.ps.gz",
}