@inproceedings{C-GNPW19a,
  author    = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},
  title     = {On Computational Tractability for Rational Verification.},
  booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019},
  pages     = {329--335},
  year      = {{2019}},
  url       = {https://www.ijcai.org/Proceedings/2019/47}
}

{"_id":"i2ddLW7WPawtHiWgT","bibbaseid":"gutierrez-najib-perelli-wooldridge-oncomputationaltractabilityforrationalverification-2019","authorIDs":["27AAjNDH3eGyX3kAG","5e5fa91819c3fade010000c4","5e610d2131c7d3de0100025f","5e65076e9eed46de0100004a","5e6aaadaf216f6de01000129","62BzuGuQtetH6F3cf","73Rh8BSJgqcii5cD3","7aQ2zeLMoyj6CHpBu","8QYqvnERKkScTLpXt","939RNK33yrPF4hHck","9QZmYec3ABqZqB9ed","9R3rFYeegwqLCtFQ7","9y2sud2AwvG4Tfdrm","Am2578MapgxQHtFf4","AqbTCnnCr8sLjTmdv","Ax9iPx6jhgbzjgAsq","C4ESoeg7imBRZM8Wr","DCAwSuxCjnszReHdG","FSKJKgCA2iK6ike3h","G2yqkXwcYagjLqEat","Gj4YRNsBu7wtb4vXY","HcptFeK4rg5nYWiFa","HfSGhTtE2kahBfnm8","HuLSgG4PJuPLGpoMZ","JYgujoQ6Yr9gf5vNm","JqvuFYYZoqT3y5hMJ","JsDz5ZfswX5PojvGF","L9SALwZHK7h4cnemm","M8ugQbFqc7J2SZZkb","MFXN3rfY97dER4uaF","MZzQLYonZyupKJJTW","Mj26qo7ejPRPakyYe","P7Rrykvikzyq7PH8F","SJHQwhWmEBwe2BkD3","TXDn8che9rTzjmrA5","W7Y9wsvLY9xYhYm7h","WrDgnRcn4BB4Pa2dL","XFeNGvuLa7vugKn8p","b932A83vqaao9vcAc","g5b8qR96euxXJQuwo","kWEPDQzitMRJ7Zfhd","kZpNRST28n9ZjkEjH","n5xPfBLskvCDRBk9A","pJotjgR9RGRzfaYDG","phZeTXoR5izbbuka9","qNnrc72DLfCFyCBuC","qWWZLuDKbdrQDYuXX","uiiEzMohLiEYpDQLf","uj2FY3LBd7XX9c4LZ","wGdyWcm2XzfxzJTEK","xPnSDmeSsJoXtiWXX","xWfKBfkZej5XRKp8G"],"author_short":["Gutierrez, J.","Najib, M.","Perelli, G.","Wooldridge, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Julian"],"propositions":[],"lastnames":["Gutierrez"],"suffixes":[]},{"firstnames":["Muhammad"],"propositions":[],"lastnames":["Najib"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["Perelli"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Wooldridge"],"suffixes":[]}],"title":"On Computational Tractability for Rational Verification.","booktitle":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019","pages":"329–335","year":"2019","url":"https://www.ijcai.org/Proceedings/2019/47","bibtex":"@inproceedings{C-GNPW19a,\n author = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},\n title = {On Computational Tractability for Rational Verification.},\n booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019},\n pages = {329--335},\n year = {{2019}},\n url = {https://www.ijcai.org/Proceedings/2019/47}\n}\n\n","author_short":["Gutierrez, J.","Najib, M.","Perelli, G.","Wooldridge, M."],"key":"C-GNPW19a","id":"C-GNPW19a","bibbaseid":"gutierrez-najib-perelli-wooldridge-oncomputationaltractabilityforrationalverification-2019","role":"author","urls":{"Paper":"https://www.ijcai.org/Proceedings/2019/47"},"metadata":{"authorlinks":{"perelli, g":"https://giuseppeperelli.github.io/oldsite/"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","creationDate":"2020-03-01T13:35:45.397Z","downloads":0,"keywords":[],"search_terms":["computational","tractability","rational","verification","gutierrez","najib","perelli","wooldridge"],"title":"On Computational Tractability for Rational Verification.","year":2019,"dataSources":["iy3Nfbwfry75yLtD7","Hsp4YyumSZ65qLatJ","kSN38gKTSZ2dArL6M","P3TQkzzbYMHFrjwn4","ec7btnN2RJ3DQyXEw"]}