@article(AHK02,
 author       = {Rajeev Alur and Thomas~A. Henzinger and Orna Kupferman},
 year         = {2002},
 title        = {Alternating-time temporal logic},
 journal      = {Journal of the {ACM}},
 volume       = {49},
 number       = {5},
 pages        = {672--713},
 doi          = {10.1145/585265.585270},
)
@inproceedings(BH16,
 author       = {Francesco Belardinelli and Andreas Herzig},
 year         = {2016},
 title        = {On Logics of Strategic Ability based on Propositional Control},
 booktitle    = {Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016)},
)
@inproceedings(Bonzon2006,
 author       = {Elise Bonzon and Lagasquie-Schiex, Marie-Christine and J\'er\^ome Lang and Bruno Zanuttini},
 year         = {2006},
 title        = {Boolean games revisited},
 booktitle    = {Proceedings of the 17th European Conference on Artificial Intelligence (ECAI-2006)},
)
@incollection(BullingEtAl2010,
 author       = {Nils Bulling and J\"urgen Dix and Wojciech Jamroga},
 year         = {2010},
 title        = {Model Checking Logics of Strategic Ability: Complexity*},
 editor       = {Mehdi Dastani and Koen~V. Hindriks and John-Jules~Charles Meyer},
 booktitle    = {Specification and Verification of Multi-agent Systems},
 publisher    = {Springer US},
 pages        = {125--159},
 doi          = {10.1007/978-1-4419-6984-2_5},
)
@inproceedings(Gerbrandy06,
 author       = {Jelle Gerbrandy},
 year         = {2006},
 title        = {Logics of propositional control},
 booktitle    = {Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006)},
 doi          = {10.1145/1160633.1160664},
)
@inproceedings(GrandiEtAlIJCAI2015,
 author       = {Umberto Grandi and Davide Grossi and Paolo Turrini},
 year         = {2015},
 title        = {Equilibrium Refinement through Negotiation in Binary Voting},
 booktitle    = {Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-2015)},
)
@inproceedings(GLNP17,
 author       = {Umberto Grandi and Emiliano Lorini and Arianna Novaro and Laurent Perrussel},
 year         = {2017},
 title        = {Strategic Disclosure of Opinions on a Social Network},
 booktitle    = {Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2017)},
)
@article(DBLP:journals/jair/GrossiLS15,
 author       = {Davide Grossi and Emiliano Lorini and Fran\c{c}ois Schwarzentruber},
 year         = {2015},
 title        = {The Ceteris Paribus Structure of Logics of Game Forms},
 journal      = {Journal of Artificial Intelligence Research {(JAIR)}},
 volume       = {53},
 pages        = {91--126},
 doi          = {10.1613/jair.4666},
)
@inproceedings(GHW13,
 author       = {Julian Gutierrez and Paul Harrenstein and Michael Wooldridge},
 year         = {2013},
 title        = {Iterated Boolean games},
 booktitle    = {Proceedings of the 23th International Joint Conference on Artificial Intelligence (IJCAI-2013)},
)
@article(GutierrezEtAlIC20015,
 author       = {Julian Gutierrez and Paul Harrenstein and Michael Wooldridge},
 year         = {2015},
 title        = {Iterated Boolean games},
 journal      = {Information and Computation},
 volume       = {242},
 pages        = {53--79},
 doi          = {10.1016/j.ic.2015.03.011},
)
@inproceedings(Harrenstein2001,
 author       = {Paul Harrenstein and Wiebe van~der Hoek and John-Jules Meyer and Cees Witteveen},
 year         = {2001},
 title        = {Boolean games},
 booktitle    = {Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2001)},
)
@inproceedings(HoekLW06,
 author       = {Wiebe van~der Hoek and Alessio Lomuscio and Michael Wooldridge},
 year         = {2006},
 title        = {On the complexity of practical {ATL} model checking},
 booktitle    = {5th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS}-2006)},
 doi          = {10.1145/1160633.1160665},
)
@article(DBLP:journals/jair/HoekWW10,
 author       = {Wiebe van~der Hoek and Dirk Walther and Michael Wooldridge},
 year         = {2010},
 title        = {Reasoning About the Transfer of Control},
 journal      = {Journal of Artificial Intelligence Research {(JAIR)}},
 volume       = {37},
 pages        = {437--477},
 doi          = {10.1613/jair.2901},
)
@article(CLPC2015,
 author       = {Wiebe van~der Hoek and Michael Wooldridge},
 year         = {2005},
 title        = {On the logic of cooperation and propositional control},
 journal      = {Artificial Intelligence},
 volume       = {164},
 number       = {1-2},
 pages        = {81--119},
 doi          = {10.1016/j.artint.2005.01.003},
)
@inproceedings(HuangCS15,
 author       = {Xiaowei Huang and Qingliang Chen and Kaile Su},
 year         = {2015},
 title        = {The Complexity of Model Checking Succinct Multiagent Systems},
 booktitle    = {Proceedings of the 24th International Joint Conference on Artificial Intelligence, ({IJCAI}-2015)},
)
@inproceedings(JamrogaA07,
 author       = {Wojciech Jamroga and {\r A}gotnes, Thomas},
 year         = {2007},
 title        = {Modular interpreted systems},
 booktitle    = {Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS}-2007)},
 doi          = {10.1145/1329125.1329286},
)
@inproceedings(LevRosenscheinAAMAS2012,
 author       = {Omer Lev and Jeffrey~S. Rosenschein},
 year         = {2012},
 title        = {Convergence of iterative voting},
 booktitle    = {Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2012)},
)
@inproceedings(MeirEtAl2010,
 author       = {Reshef Meir and Maria Polukarov and Jeffrey~S. Rosenschein and Nicholas~R. Jennings},
 year         = {2010},
 title        = {Convergence to Equilibria in Plurality Voting.},
 booktitle    = {Proceedings of the 24th {AAAI} conference on Artificial Intelligence (AAAI-2010)},
)
@inproceedings(ObraztsovaEtAlAAAI2015,
 author       = {Svetlana Obraztsova and Evangelos Markakis and Maria Polukarov and Zinovi Rabinovich and Nicholas~R. Jennings},
 year         = {2015},
 title        = {On the Convergence of Iterative Voting: How Restrictive Should Restricted Dynamics Be?},
 booktitle    = {Proceedings of the 29th {AAAI} Conference on Artificial Intelligence, (AAAI-2015)},
)
@inproceedings(P77,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The temporal logic of programs},
 booktitle    = {Proceedings of the 18th IEEE Symposium on Foundations of Computer Science},
 doi          = {10.1109/SFCS.1977.32},
)