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