Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge. Verifiable Equilibria in Boolean Games. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 689-695, IJCAI/AAAI, 2013. [doi]
Abstract is missing.