On the Complexity of Rational Verification. Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. In Annals of Mathematics and Artificial Intelligence, 2022.
![On the Complexity of Rational Verification [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 4 downloads
Paper bibtex 4 downloads @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}},
year = {2022},
url_paper = {https://whitemech.github.io/papers/2022/amai2022gnpw.pdf},
}Downloads: 4
{"_id":"4ehnJZ6zr72b5TYiE","bibbaseid":"gutierrez-najib-perelli-wooldridge-onthecomplexityofrationalverification-2022","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","year":"2022","url_paper":"https://whitemech.github.io/papers/2022/amai2022gnpw.pdf","bibtex":"@inproceedings{amai2022gnpw,\n author = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},\n title = {On the Complexity of Rational Verification},\n booktitle = {{Annals of Mathematics and Artificial Intelligence}},\n year = {2022},\n url_paper = {https://whitemech.github.io/papers/2022/amai2022gnpw.pdf},\n}\n\n","author_short":["Gutierrez, J.","Najib, M.","Perelli, G.","Wooldridge, M."],"key":"amai2022gnpw","id":"amai2022gnpw","bibbaseid":"gutierrez-najib-perelli-wooldridge-onthecomplexityofrationalverification-2022","role":"author","urls":{" paper":"https://whitemech.github.io/papers/2022/amai2022gnpw.pdf"},"metadata":{"authorlinks":{}},"downloads":4},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/publications.bib","dataSources":["sTv84pxw4fgxhrWy3"],"keywords":[],"search_terms":["complexity","rational","verification","gutierrez","najib","perelli","wooldridge"],"title":"On the Complexity of Rational Verification","year":2022,"downloads":4}