@phdthesis{Legg:phd,
    address          = {Sydney,Australia},
    author           = {Alexander Legg},
    month            = sep,
    paperurl         = {https://trustworthy.systems/publications/papers/Legg%3Aphd.pdf},
    school           = {UNSW},
    title            = {A Counterexample Guided Method for Reactive Synthesis},
    year             = {2016}
  }