@InProceedings{DBLP:conf/cav/NarodytskaLBRW14,
  Title                    = {Solving Games without Controllable Predecessor},
  Author                   = {Nina Narodytska and
 Alexander Legg and
 Fahiem Bacchus and
 Leonid Ryzhyk and
 Adam Walker},
  Booktitle                = {Computer Aided Verification - 26th International Conference, {CAV}
 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
 Austria, July 18-22, 2014. Proceedings},
  Year                     = {2014},
  Pages                    = {533--540},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cav/NarodytskaLBRW14},
  Doi                      = {10.1007/978-3-319-08867-9\_35},
  Timestamp                = {Thu, 25 May 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-08867-9\_35}
}

{"_id":"P7Zx6A92PY5eAvFQZ","bibbaseid":"narodytska-legg-bacchus-ryzhyk-walker-solvinggameswithoutcontrollablepredecessor-2014","downloads":0,"creationDate":"2018-09-20T19:33:15.624Z","title":"Solving Games without Controllable Predecessor","author_short":["Narodytska, N.","Legg, A.","Bacchus, F.","Ryzhyk, L.","Walker, A."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Solving Games without Controllable Predecessor","author":[{"firstnames":["Nina"],"propositions":[],"lastnames":["Narodytska"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Legg"],"suffixes":[]},{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]},{"firstnames":["Leonid"],"propositions":[],"lastnames":["Ryzhyk"],"suffixes":[]},{"firstnames":["Adam"],"propositions":[],"lastnames":["Walker"],"suffixes":[]}],"booktitle":"Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings","year":"2014","pages":"533–540","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/cav/NarodytskaLBRW14","doi":"10.1007/978-3-319-08867-9_35","timestamp":"Thu, 25 May 2017 01:00:00 +0200","url":"https://doi.org/10.1007/978-3-319-08867-9\\_35","bibtex":"@InProceedings{DBLP:conf/cav/NarodytskaLBRW14,\n Title = {Solving Games without Controllable Predecessor},\n Author = {Nina Narodytska and\n Alexander Legg and\n Fahiem Bacchus and\n Leonid Ryzhyk and\n Adam Walker},\n Booktitle = {Computer Aided Verification - 26th International Conference, {CAV}\n 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,\n Austria, July 18-22, 2014. Proceedings},\n Year = {2014},\n Pages = {533--540},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/cav/NarodytskaLBRW14},\n Doi = {10.1007/978-3-319-08867-9\\_35},\n Timestamp = {Thu, 25 May 2017 01:00:00 +0200},\n Url = {https://doi.org/10.1007/978-3-319-08867-9\\_35}\n}\n\n","author_short":["Narodytska, N.","Legg, A.","Bacchus, F.","Ryzhyk, L.","Walker, A."],"key":"DBLP:conf/cav/NarodytskaLBRW14","id":"DBLP:conf/cav/NarodytskaLBRW14","bibbaseid":"narodytska-legg-bacchus-ryzhyk-walker-solvinggameswithoutcontrollablepredecessor-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-08867-9\\_35"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["solving","games","without","controllable","predecessor","narodytska","legg","bacchus","ryzhyk","walker"],"keywords":[],"authorIDs":[],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ"]}