@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} }