@inproceedings{amai2022gnpw,
	author			= {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},
	title				= "{On the Complexity of Rational Verification.}",
	booktitle		= "{Annals of Mathematics and Artificial Intelligence}",
	publisher		= "Springer International Publishing",
	volume       = {91},
	number       = {4},
	pages        = {409--430},
	year      	= "{2023}",
	url_paper 				= {https://doi.org/10.1007/s10472-022-09804-3},
}

{"_id":"7jTcMvrGgSASc5ZWJ","bibbaseid":"gutierrez-najib-perelli-wooldridge-onthecomplexityofrationalverification-2023","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 the Complexity of Rational Verification.","booktitle":"Annals of Mathematics and Artificial Intelligence","publisher":"Springer International Publishing","volume":"91","number":"4","pages":"409–430","year":"2023","url_paper":"https://doi.org/10.1007/s10472-022-09804-3","bibtex":"@inproceedings{amai2022gnpw,\n\tauthor\t\t\t= {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},\n\ttitle\t\t\t\t= \"{On the Complexity of Rational Verification.}\",\n\tbooktitle\t\t= \"{Annals of Mathematics and Artificial Intelligence}\",\n\tpublisher\t\t= \"Springer International Publishing\",\n\tvolume = {91},\n\tnumber = {4},\n\tpages = {409--430},\n\tyear \t= \"{2023}\",\n\turl_paper \t\t\t\t= {https://doi.org/10.1007/s10472-022-09804-3},\n}\n\n","author_short":["Gutierrez, J.","Najib, M.","Perelli, G.","Wooldridge, M."],"key":"amai2022gnpw","id":"amai2022gnpw","bibbaseid":"gutierrez-najib-perelli-wooldridge-onthecomplexityofrationalverification-2023","role":"author","urls":{" paper":"https://doi.org/10.1007/s10472-022-09804-3"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/publications.bib","dataSources":["yS7ttFGW6d5SoZgRH","8kCRnmST9TKEYpeWt"],"keywords":[],"search_terms":["complexity","rational","verification","gutierrez","najib","perelli","wooldridge"],"title":"On the Complexity of Rational Verification.","year":2023}