@Article{chaudhuri_et_al:DagRep.7.3.27,
author = {Chaudhuri, Swarat and Kannan, Sampath and Majumdar, Rupak and Wooldridge, Michael J.},
title = {{Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111)}},
pages = {27--32},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {3},
editor = {Chaudhuri, Swarat and Kannan, Sampath and Majumdar, Rupak and Wooldridge, Michael J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.3.27},
URN = {urn:nbn:de:0030-drops-79609},
doi = {10.4230/DagRep.7.3.27},
annote = {Keywords: game theory, formal methods, logic, algorithms, equilibria, multiagent systems}
}