1. Ågotnes T, Harrenstein P, Van Der Hoek W, Wooldridge M (2013) Verifiable equilibria in boolean games. In: Proceedings of the twenty-third international joint conference on artificial intelligence. AAAI Press, California, pp 689–695
2. Ågotnes T, van der Hoek W, Tennenholtz M, Wooldridge M (2009) Power in normative systems. In: Proceedings of the 8th international conference on autonomous agents and multiagent systems (AAMAS’09). IFAAMAS, Richland, pp 145–152
3. Ågotnes T, van der Hoek W, Wooldridge M (2007) Normative system games. In: Proceedings of the 6th international joint conference on autonomous agents and multiagent systems (AAMAS’07). ACM, New York, pp. 1–8. doi: 10.1145/1329125.1329284
4. Ågotnes T, van der Hoek W, Wooldridge M (2009) Reasoning about coalitional games. Artif Intell 173(1):45–79
5. Alur R, Henzinger TA, Kupferman O (2002) Alternating-time temporal logic. J ACM 49:672–713