@inproceedings{Narodytska_LBRW_14,
    address          = {Vienna, Austria},
    author           = {Narodytska, Nina and Legg, Alexander and Bacchus, Fahiem and Ryzhyk, Leonid and Walker, Adam
                        Christopher},
    booktitle        = { International Conference on Computer Aided Verification},
    keywords         = {termite, reactive synthesis, sat, qbf},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7885.pdf},
    title            = {Solving Games without Controllable Predecessor},
    year             = {2014}
  }