Shaull Almagor, Guy Avni & Orna Kupferman (2015):
Repairing Multi-Player Games.
In: CONCUR 2015,
LIPIcs 42.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
pp. 325–339,
doi:10.4230/LIPIcs.CONCUR.2015.325.
Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani & Serdar Tasiran (1998):
MOCHA: Modularity in Model Checking.
In: CAV 1998.
Springer,
pp. 521–525,
doi:10.1007/BFb0028774.
Eugene Asarin, Oded Maler & Amir Pnueli (1994):
Symbolic Controller Synthesis for Discrete and Timed Systems.
In: Hybrid Systems II,
pp. 1–20,
doi:10.1007/3-540-60472-3_1.
Christel Baier & Joost-Pieter Katoen (2008):
Principles of Model Checking.
The MIT Press.
Elise Bonzon, Caroline Devred & Marie-Christine Lagasquie-Schiex (2010):
Argumentation and CP-Boolean Games.
International Journal on Artificial Intelligence Tools 19(4),
pp. 487–510,
doi:10.1142/S0218213010000297.
Elise Bonzon, Marie-Christine Lagasquie-Schiex & Jérôme Lang (2009):
Dependencies between players in Boolean games.
International Journal of Approximate Reasoning 50(6),
pp. 899–914,
doi:10.1016/j.ijar.2009.02.008.
Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang & Bruno Zanuttini (2006):
Boolean Games Revisited.
In: ECAI 2006,
Frontiers in Artificial Intelligence and Applications 141.
IOS Press,
pp. 265–269.
Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang & Bruno Zanuttini (2009):
Compact preference representation and Boolean games.
Autonomous Agents and Multi-Agent Systems 18(1),
pp. 1–35,
doi:10.1007/s10458-008-9040-2.
Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt & Antonín Kucera (2015):
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.
In: TACAS 2015,
pp. 181–187,
doi:10.1007/978-3-662-46681-0_12.
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur & Mathieu Sassolas (2016):
Non-Zero Sum Games for Reactive Synthesis.
In: LATA 2016,
pp. 3–23,
doi:10.1007/978-3-319-30000-9_1.
Thomas Brihaye, Julie De Pril & Sven Schewe (2013):
Multiplayer Cost Games with Simple Nash Equilibria.
In: LFCS 2013,
pp. 59–73,
doi:10.1007/978-3-642-35722-0_5.
Krishnendu Chatterjee & Laurent Doyen (2012):
Energy parity games.
Theor. Comput. Sci. 458,
pp. 49–60,
doi:10.1016/j.tcs.2012.07.038.
Krishnendu Chatterjee, Thomas A. Henzinger & Marcin Jurdzinski (2005):
Mean-Payoff Parity Games.
In: (LICS 2005),
pp. 178–187,
doi:10.1109/LICS.2005.26.
Krishnendu Chatterjee, Mickael Randour & Jean-François Raskin (2014):
Strategy synthesis for multi-dimensional quantitative objectives.
Acta Informatica 51(3-4),
pp. 129–163,
doi:10.1007/s00236-013-0182-6.
Paul E. Dunne, Wiebe van der Hoek, Sarit Kraus & Michael Wooldridge (2008):
Cooperative Boolean games.
In: AAMAS 2008.
IFAAMAS,
pp. 1015–1022.
John Grant, Sarit Kraus, Michael Wooldridge & Inon Zuckerman (2011):
Manipulating Boolean Games through Communication.
In: IJCAI 2011.
IJCAI/AAAI,
pp. 210–215,
doi:10.5591/978-1-57735-516-8/IJCAI11-046.
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 (2004):
Logic in conflict.
Utrecht University.
Paul Harrenstein, Paolo Turrini & Michael Wooldridge (2015):
Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents.
In: AAMAS 2015.
ACM,
pp. 655–663.
S. Rao Kosaraju & Gregory F. Sullivan (1988):
Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version).
In: STOC 1988.
ACM,
pp. 398–406,
doi:10.1145/62212.62251.
Alessio Lomuscio, Hongyang Qu & Franco Raimondi (2009):
MCMAS: A Model Checker for the Verification of Multi-Agent Systems.
In: CAV 2009.
Springer,
pp. 682–688,
doi:10.1007/s10009-015-0378-x.
Youssouf Oualhadj & Nicolas Troquard (2016):
Rational verification in Iterated Electric Boolean Games.
CoRR abs/1604.03773.
Available at http://arxiv.org/abs/1604.03773v1.
Stavros Tripakis & Karine Altisen (1999):
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.
In: FM'99,
pp. 233–252,
doi:10.1007/3-540-48119-2_15.
Michael Wooldridge, Ulle Endriss, Sarit Kraus & Jérôme Lang (2013):
Incentive engineering for Boolean games.
Artificial Intelligence 195,
pp. 418 – 439,
doi:10.1016/j.artint.2012.11.003.
eptcs@eptcs.org