@inproceedings(Agotnes07irrevocable,
 author       = "T. {\r A}gotnes and V. Goranko and W. Jamroga",
 year         = "2007",
 title        = "Alternating-time Temporal Logics with Irrevocable Strategies",
 editor       = "D. Samet",
 booktitle    = "Proceedings of {TARK XI}",
 pages        = "15--24",
 doi          = "10.1145/1324249.1324256",
)
@techreport(Jamroga08commitment-tr,
 author       = "T. {\r A}gotnes and V. Goranko and W. Jamroga",
 year         = "2008",
 title        = "Strategic Commitment and Release in Logics for Multi-Agent Systems (Extended abstract)",
 type         = "Technical Report",
 number       = "IfI-08-01",
 institution  = "Clausthal University of Technology",
)
@article(AlechinaLNR11,
 author       = "Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Abdur Rakib",
 year         = "2011",
 title        = "Logic for coalitions with bounded resources",
 journal      = "J. Log. Comput.",
 volume       = "21",
 number       = "6",
 pages        = "907--937",
 doi          = "10.1093/logcom/exq032",
)
@article(AlfaroHK07,
 author       = "Luca de Alfaro and Thomas A. Henzinger and Orna Kupferman",
 year         = "2007",
 title        = "Concurrent reachability games",
 journal      = "Theor. Comput. Sci.",
 volume       = "386",
 number       = "3",
 pages        = "188--217",
 doi          = "10.1016/j.tcs.2007.07.008",
)
@article(Alur02ATL,
 author       = "R. Alur and T. A. Henzinger and O. Kupferman",
 year         = "2002",
 title        = "{A}lternating-Time {T}emporal {L}ogic",
 journal      = "Journal of the ACM",
 volume       = "49",
 pages        = "672--713",
 doi          = "10.1145/585265.585270",
)
@inproceedings(BouyerBMU11,
 author       = "Patricia Bouyer and Romain Brenguier and Nicolas Markey and Michael Ummels",
 year         = "2011",
 title        = "Nash Equilibria in Concurrent Games with {B}{\"u}chi Objectives",
 editor       = "S. Chakraborty and A. Kumar",
 booktitle    = "FSTTCS'2011 LIPIcs",
 publisher    = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
 pages        = "375--386",
 doi          = "10.4230/LIPIcs.FSTTCS.2011.375",
)
@inproceedings(BouyerBMU12,
 author       = "Patricia Bouyer and Romain Brenguier and Nicolas Markey and Michael Ummels",
 year         = "2012",
 title        = "Concurrent Games with Ordered Objectives",
 editor       = "L. Birkedal",
 booktitle    = "Proc. of FoSSaCS'2012, Springer LNCS, vol. 7213",
 pages        = "301--315",
 doi          = "10.1007/978-3-642-28729-9\_20",
)
@techreport(Brihaye08strategycontexts,
 author       = "T. Brihaye and A. Da Costa and F. Laroussinie and N. Markey",
 year         = "2008",
 title        = "{ATL} with Strategy Contexts and Bounded Memory",
 type         = "Technical Report",
 number       = "LSV-08-14",
 institution  = "ENS Cachan",
 doi          = "10.1007/978-3-540-92687-0\_7",
)
@inproceedings(BullingFarwer2010RAL-ECAI-short,
 author       = "Nils Bulling and Berndt Farwer",
 year         = "2010",
 title        = "On the ({U}n-){D}ecidability of {M}odel-{C}hecking {R}esource-{B}ounded {A}gents",
 editor       = "H. Coelho and M. Wooldridge",
 booktitle    = "Proc. of ECAI 2010",
 publisher    = "IOS Press, Amsterdam",
 pages        = "567--572",
 doi          = "10.3233/978-1-60750-606-5-567",
)
@article(ChatterjeeAH11,
 author       = "Krishnendu Chatterjee and Luca de Alfaro and Thomas A. Henzinger",
 year         = "2011",
 title        = "Qualitative concurrent parity games",
 journal      = "ACM Trans. Comput. Log.",
 volume       = "12",
 number       = "4",
 pages        = "28",
 doi          = "10.1145/1970398.1970404",
)
@article(ChatterjeeD12,
 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",
)
@article(ChatterjeeH12,
 author       = "Krishnendu Chatterjee and Thomas A. Henzinger",
 year         = "2012",
 title        = "A survey of stochastic $\omega $-regular games",
 journal      = "J. Comput. Syst. Sci.",
 volume       = "78",
 number       = "2",
 pages        = "394--413",
 url          = "http://dx.doi.org/10.1016/j.jcss.2011.05.002",
)
@article(Esparza_decidabilityof,
 author       = "Javier Esparza",
 title        = "Decidability of Model Checking for Infinite-State Concurrent Systems",
 journal      = "Acta Informatica",
 volume       = "34",
 pages        = "85--107",
 doi          = "10.1007/s002360050074",
)
@inproceedings(Esparza98decidabilityand,
 author       = "Javier Esparza",
 year         = "1998",
 title        = "Decidability and complexity of Petri net problems - an Introduction",
 booktitle    = "In Lectures on Petri Nets I: Basic Models",
 publisher    = "Springer-Verlag",
 pages        = "374--428",
 doi          = "10.1007/3-540-65306-6\_20",
)
@article(Goranko04comparingKRA,
 author       = "Valentin Goranko and Wojciech Jamroga",
 year         = "2004",
 title        = "Comparing Semantics of Logics for Multi-agent Systems",
 journal      = "Synthese",
 volume       = "139",
 number       = "2",
 pages        = "241--280",
 doi          = "10.1023/B:SYNT.0000024915.66183.d1",
)
@inproceedings(GU08,
 author       = "Erich Gr{\"a}del and Michael Ummels",
 year         = "2008",
 title        = "{Solution Concepts and Algorithms for Infinite Multiplayer Games}",
 editor       = "Krzysztof Apt and Robert van Rooij",
 booktitle    = "{New Perspectives on Games and Interaction}",
 series       = "{Texts in Logic and Games}",
 volume       = "4",
 publisher    = "Amsterdam University Press",
 pages        = "151--178",
 url          = "http://www.logic.rwth-aachen.de/~ummels/knaw07.pdf",
)
@book(HopcroftUllmann79Automata,
 author       = "JE Hopcroft and JD Ullman",
 year         = "1979",
 title        = "Introduction to Automata Theory, Languages, and Computation",
 publisher    = "Addison-Wesley",
 address      = "Reading, Massachusetts",
 doi          = "10.1145/568438.568455",
)
@article(Jamroga07constructive-jancl,
 author       = "W. Jamroga and T. {\r A}gotnes",
 year         = "2007",
 title        = "Constructive Knowledge: What Agents Can Achieve under Incomplete Information",
 journal      = "Journal of Applied Non-Classical Logics",
 volume       = "17",
 number       = "4",
 pages        = "423--475",
 doi          = "10.3166/jancl.17.423-475",
)
@article(MonicaNP11,
 author       = "Dario Della Monica and Margherita Napoli and Mimmo Parente",
 year         = "2011",
 title        = "On a Logic for Coalitional Games with Priced-Resource Agents",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "278",
 pages        = "215--228",
 doi          = "10.1016/j.entcs.2011.10.017",
)
@book(Osborne94gamet,
 author       = "M. Osborne and A. Rubinstein",
 year         = "1994",
 title        = "A Course in Game Theory",
 publisher    = "MIT Press",
)
@article(Pauly02modal,
 author       = "M. Pauly",
 year         = "2002",
 title        = "A Modal Logic for Coalitional Power in Games",
 journal      = "J. of Logic and Computation",
 volume       = "12",
 number       = "1",
 pages        = "149--166",
 doi          = "10.1093/logcom/12.1.149",
)
@inproceedings(Pinchinat07,
 author       = "Sophie Pinchinat",
 year         = "2007",
 title        = "A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies",
 editor       = "K. Namjoshi et al",
 booktitle    = "Proc. of ATVA'2007, Springer LNCS, vol. 4762",
 pages        = "253--267",
 doi          = "10.1007/978-3-540-75596-8\_19",
)