@InProceedings{cam-bai-mui-mci-ccai18,
  Title                    = {Controller Synthesis via Non-Deterministic Planning},
  Author                   = {Alberto Camacho and
 Jorge A. Baier and
 Christian J. Muise and
 Sheila A. McIlraith},
  Booktitle                = {Proceedings of the Thirty-First Canadian Conference on Artificial Intelligence
({CCAI})},
  Year                     = {2018},
  Note                     = {To appear},

  Timestamp                = {2018.09.23}
}

{"_id":"rbqP9FMStGtc3Z4EH","bibbaseid":"camacho-baier-muise-mcilraith-controllersynthesisvianondeterministicplanning-2018","downloads":0,"creationDate":"2018-02-14T16:35:34.057Z","title":"Controller Synthesis via Non-Deterministic Planning","author_short":["Camacho, A.","Baier, J. A.","Muise, C. J.","McIlraith, S. A."],"year":2018,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Controller Synthesis via Non-Deterministic Planning","author":[{"firstnames":["Alberto"],"propositions":[],"lastnames":["Camacho"],"suffixes":[]},{"firstnames":["Jorge","A."],"propositions":[],"lastnames":["Baier"],"suffixes":[]},{"firstnames":["Christian","J."],"propositions":[],"lastnames":["Muise"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"booktitle":"Proceedings of the Thirty-First Canadian Conference on Artificial Intelligence (CCAI)","year":"2018","note":"To appear","timestamp":"2018.09.23","bibtex":"@InProceedings{cam-bai-mui-mci-ccai18,\n Title = {Controller Synthesis via Non-Deterministic Planning},\n Author = {Alberto Camacho and\n Jorge A. Baier and\n Christian J. Muise and\n Sheila A. McIlraith},\n Booktitle = {Proceedings of the Thirty-First Canadian Conference on Artificial Intelligence\n({CCAI})},\n Year = {2018},\n Note = {To appear},\n\n Timestamp = {2018.09.23}\n}\n\n","author_short":["Camacho, A.","Baier, J. A.","Muise, C. J.","McIlraith, S. A."],"key":"cam-bai-mui-mci-ccai18","id":"cam-bai-mui-mci-ccai18","bibbaseid":"camacho-baier-muise-mcilraith-controllersynthesisvianondeterministicplanning-2018","role":"author","urls":{},"metadata":{"authorlinks":{"muise, c":"https://www.haz.ca/academic-publications.html"}},"downloads":0,"html":""},"search_terms":["controller","synthesis","via","non","deterministic","planning","camacho","baier","muise","mcilraith"],"keywords":[],"authorIDs":["5456dccd8b01c81930000008","5456e0ad8b01c8193000001d","5456f48b8b01c819300000ab","59f3b72dee99a95d4d00003b","5e390326dc5b8ade010000ac","WvNTfrm4CkuAz6kh9","XCnXFqMPKPFkRq2kj","f4LpZ8LcDrvDyGuip","j6foRqya6fLiniZC3"],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ"]}