Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. In Artificial Intelligence. 2020.
![Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper doi bibtex 8 downloads
Paper doi bibtex 8 downloads @incollection{ai2020gnpw,
author = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},
title = {Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games},
booktitle = {Artificial Intelligence},
year = {2020},
url_paper = {https://whitemech.github.io/papers/2020/ai2020gnpw.pdf},
doi = {10.1016/j.artint.2020.103353},
}Downloads: 8
{"_id":"ZhWrMHJPDCnrtS4Bh","bibbaseid":"gutierrez-najib-perelli-wooldridge-automatedtemporalequilibriumanalysisverificationandsynthesisofmultiplayergames-2020","authorIDs":["73Rh8BSJgqcii5cD3","7aQ2zeLMoyj6CHpBu","9y2sud2AwvG4Tfdrm","Ax9iPx6jhgbzjgAsq","FSKJKgCA2iK6ike3h","G2yqkXwcYagjLqEat","HcptFeK4rg5nYWiFa","HuLSgG4PJuPLGpoMZ","W7Y9wsvLY9xYhYm7h","WrDgnRcn4BB4Pa2dL","g5b8qR96euxXJQuwo","n5xPfBLskvCDRBk9A","qWWZLuDKbdrQDYuXX","xPnSDmeSsJoXtiWXX"],"author_short":["Gutierrez, J.","Najib, M.","Perelli, G.","Wooldridge, M."],"bibdata":{"bibtype":"incollection","type":"incollection","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":"Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games","booktitle":"Artificial Intelligence","year":"2020","url_paper":"https://whitemech.github.io/papers/2020/ai2020gnpw.pdf","doi":"10.1016/j.artint.2020.103353","bibtex":"@incollection{ai2020gnpw,\n author = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},\n title\t= {Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games},\n booktitle = {Artificial Intelligence},\n year = {2020},\n url_paper = {https://whitemech.github.io/papers/2020/ai2020gnpw.pdf},\n doi = {10.1016/j.artint.2020.103353},\n}\n\n","author_short":["Gutierrez, J.","Najib, M.","Perelli, G.","Wooldridge, M."],"key":"ai2020gnpw","id":"ai2020gnpw","bibbaseid":"gutierrez-najib-perelli-wooldridge-automatedtemporalequilibriumanalysisverificationandsynthesisofmultiplayergames-2020","role":"author","urls":{" paper":"https://whitemech.github.io/papers/2020/ai2020gnpw.pdf"},"metadata":{"authorlinks":{"perelli, g":"https://giuseppeperelli.github.io/oldsite/"}},"downloads":8},"bibtype":"incollection","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/publications.bib","creationDate":"2020-06-15T08:09:22.132Z","downloads":8,"keywords":[],"search_terms":["automated","temporal","equilibrium","analysis","verification","synthesis","multi","player","games","gutierrez","najib","perelli","wooldridge"],"title":"Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games","year":2020,"dataSources":["Hsp4YyumSZ65qLatJ","MFHn2kQaqYPfsiPaz","8kCRnmST9TKEYpeWt","Azn7mBxrQcaz6nbZk","kSN38gKTSZ2dArL6M","P3TQkzzbYMHFrjwn4","yS7ttFGW6d5SoZgRH","sTv84pxw4fgxhrWy3"]}