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