@inproceedings(AGJ07,
 author       = {T.~{\r A}gotnes and V.~Goranko and W.~Jamroga},
 year         = {2007},
 title        = {Alternating-time temporal logics with irrevocable strategies},
 booktitle    = {TARK-2007},
 pages        = {15--24},
 doi          = {10.1145/1324249.1324256},
)
@article(AKH02,
 author       = {E.~Altman and H.~Kameda and Y.~Hosokawa},
 year         = {2002},
 title        = {Nash Equilibria in Load Balancing in Distributed Computer Systems},
 journal      = {IGTR},
 volume       = {4},
 number       = {2},
 pages        = {91--100},
 doi          = {10.1142/S0219198902000574},
)
@article(AHK02,
 author       = {R.~Alur and T.A. Henzinger and O.~Kupferman},
 year         = {2002},
 title        = {{Alternating-Time Temporal Logic.}},
 journal      = {JACM},
 volume       = {49},
 number       = {5},
 pages        = {672--713},
 doi          = {10.1145/585265.585270},
)
@inproceedings(AMMR16,
 author       = {B.~Aminof and V.~Malvone and A.~Murano and S.~Rubin},
 year         = {2016},
 title        = {Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria},
 booktitle    = {{AAMAS 2016}},
 publisher    = {{IFAAMAS}},
 pages        = {698--706},
)
@inproceedings(AMR15,
 author       = {B.~Aminof and A.~Murano and S.~Rubin},
 year         = {2015},
 title        = {On CTL* with Graded Path Modalities},
 booktitle    = {LPAR-20 2016},
 pages        = {281--296},
 doi          = {10.1007/978-3-662-48899-7\_20},
)
@article(BaranyKR10,
 author       = {V.~B{\'{a}}r{\'{a}}ny and L.~Kaiser and A.~M. Rabinovich},
 year         = {2010},
 title        = {Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees},
 journal      = {Fundam. Inform.},
 volume       = {100},
 number       = {1-4},
 pages        = {1--17},
 doi          = {10.3233/FI-2010-260},
)
@inproceedings(BGLS11,
 author       = {E.~B{\'{a}}rcenas and P.~Genev{\`{e}}s and N.~Laya{\"{\i}}da and A.~Schmitt},
 year         = {2011},
 title        = {Query Reasoning on Trees with Types, Interleaving, and Counting},
 booktitle    = {{IJCAI} 2011},
 pages        = {718--723},
 doi          = {10.5591/978-1-57735-516-8/IJCAI11-127},
)
@article(BL14,
 author       = {E.~B{\'{a}}rcenas and J.~Lavalle},
 year         = {2014},
 title        = {Global Numerical Constraints on Trees},
 journal      = {Logical Methods in Computer Science},
 volume       = {10},
 number       = {2},
 doi          = {10.2168/LMCS-10(2:10)2014},
)
@inproceedings(Bel15,
 author       = {F.~Belardinelli},
 year         = {2015},
 title        = {A Logic of Knowledge and Strategies with Imperfect Information},
 booktitle    = {LAMAS 15},
)
@article(BMM12,
 author       = {A.~Bianco and F.~Mogavero and A.~Murano},
 year         = {2012},
 title        = {{Graded Computation Tree Logic.}},
 journal      = {TOCL},
 volume       = {13},
 number       = {3},
 pages        = {25:1--53},
 doi          = {10.1145/2287718.2287725},
)
@inproceedings(DBLP:conf/csl/Bojanczyk04,
 author       = {M.~Boja{\'{n}}czyk},
 year         = {2004},
 title        = {A Bounding Quantifier},
 booktitle    = {{CSL 2004}},
 series       = {LNCS 3210},
 volume       = {3210},
 publisher    = {Springer},
 pages        = {41--55},
 doi          = {10.1007/978-3-540-30124-0\_7},
)
@inproceedings(bojanczyk_et_al:LIPIcs:2012:3427,
 author       = {M.~Bojanczyk and S.~Torunczyk},
 year         = {2012},
 title        = {{Weak MSO+U over infinite trees}},
 editor       = {Christoph D{\"u}rr and Thomas Wilke},
 booktitle    = {STACS 2012},
 series       = {LIPIcs},
 volume       = {14},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 pages        = {648--660},
 doi          = {10.4230/LIPIcs.STACS.2012.648},
)
@article(BLMV08,
 author       = {P.A. Bonatti and C.~Lutz and A.~Murano and M.Y. Vardi},
 year         = {2008},
 title        = {{The Complexity of Enriched muCalculi.}},
 journal      = {LMCS},
 volume       = {4},
 number       = {3},
 pages        = {1--27},
 doi          = {10.2168/LMCS-4(3:11)2008},
)
@inproceedings(BLLM09,
 author       = {T.~Brihaye and A.~Da~Costa Lopes and F.~Laroussinie and N.~Markey},
 year         = {2009},
 title        = {{ATL} with Strategy Contexts and Bounded Memory},
 booktitle    = {LFCS 2009},
 pages        = {92--106},
 doi          = {10.1007/978-3-540-92687-0\_7},
)
@inproceedings(CGL99,
 author       = {D.~Calvanese and G.~{De Giacomo} and M.~Lenzerini},
 year         = {1999},
 title        = {Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees},
 booktitle    = {IJCAI 99},
 pages        = {84--89},
)
@inproceedings(CLMM14,
 author       = {P.~{\v{C}}erm{\'a}k and A.~Lomuscio and F.~Mogavero and A.~Murano},
 year         = {2014},
 title        = {{MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications.}},
 booktitle    = {CAV'14},
 series       = {LNCS 8559},
 publisher    = {Springer},
 pages        = {524--531},
 doi          = {10.1007/978-3-319-08867-9\_34},
)
@inproceedings(CLM15,
 author       = {P.~Cerm{\'{a}}k and A.~Lomuscio and A.~Murano},
 year         = {2015},
 title        = {Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications},
 booktitle    = {AAAI 2015},
 pages        = {2038--2044},
)
@article(CHP10,
 author       = {K.~Chatterjee and T.A. Henzinger and N.~Piterman},
 year         = {2010},
 title        = {{Strategy Logic.}},
 journal      = {IC},
 volume       = {208},
 number       = {6},
 pages        = {677--693},
 doi          = {10.1016/j.ic.2009.07.004},
)
@article(CHS99,
 author       = {R.~Cornes and R.~Hartley and T.~Sandler},
 year         = {1999},
 title        = {An Elementary Proof via Contraction},
 journal      = {Journal of Public Economic Theory},
 volume       = {1},
 number       = {4},
 pages        = {499--509},
 doi          = {10.1111/1097-3923.00023},
)
@book(SCB13,
 author       = {J.~Bramel D.~Simchi-Levi, X.~Chen},
 year         = {2013},
 title        = {The Logic of Logistics: Theory, Algorithms, and Applications for Logistics Management},
 series       = {Science and Business Media},
 publisher    = {Springer},
)
@inproceedings(DL03,
 author       = {S.~Dal{-}Zilio and D.~Lugiez},
 year         = {2003},
 title        = {{XML} Schema, Tree Logic and Sheaves Automata},
 booktitle    = {RTA 2003},
 pages        = {246--263},
 doi          = {10.1007/3-540-44881-0\_18},
)
@article(DL10,
 author       = {S.~Demri and D.~Lugiez},
 year         = {2010},
 title        = {Complexity of modal logics with Presburger constraints},
 journal      = {J. Applied Logic},
 volume       = {8},
 number       = {3},
 pages        = {233--252},
 doi          = {10.1016/j.jal.2010.03.001},
)
@inproceedings(EJ91,
 author       = {E.~A. Emerson and C.~S. Jutla},
 year         = {1991},
 title        = {Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)},
 booktitle    = {ASFCS 1991},
 pages        = {368--377},
 doi          = {10.1109/SFCS.1991.185392},
)
@article(FMP08,
 author       = {A.~Ferrante and A.~Murano and M.~Parente},
 year         = {2008},
 title        = {{Enriched Mu-Calculi Module Checking.}},
 journal      = {LMCS},
 volume       = {4},
 number       = {3},
 pages        = {1--21},
 doi          = {10.2168/LMCS-4(3:1)2008},
)
@article(Gradel99,
 author       = {Erich Gr{\"{a}}del},
 year         = {1999},
 title        = {On The Restraining Power of Guards},
 journal      = {J. Symb. Log.},
 volume       = {64},
 number       = {4},
 pages        = {1719--1742},
 doi          = {10.2307/2586808},
)
@inproceedings(GHW14,
 author       = {J.~Gutierrez and P.~Harrenstein and M.~Wooldridge},
 year         = {2014},
 title        = {Reasoning about Equilibria in Game-Like Concurrent Systems},
 booktitle    = {KR 2014},
 publisher    = {AAAI},
)
@inproceedings(HLW13,
 author       = {A.~Herzig and E.~Lorini and D.~Walther},
 year         = {2013},
 title        = {Reasoning about Actions Meets Strategic Logics},
 booktitle    = {LORI 2013},
 pages        = {162--175},
 doi          = {10.1007/978-3-642-40948-6\_13},
)
@inproceedings(HJW05,
 author       = {W.~van~der Hoek and W.~Jamroga and M.~Wooldridge},
 year         = {2005},
 title        = {A logic for strategic reasoning},
 booktitle    = {AAMAS 2005},
 pages        = {157--164},
 doi          = {10.1145/1082473.1082497},
)
@article(KPV16,
 author       = {O.~Kupferman and G.~Perelli and M.~Vardi},
 year         = {2016},
 title        = {Synthesis with rational environments},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 pages        = {1--18},
 doi          = {10.1007/s10472-016-9508-8},
)
@inproceedings(KPV14,
 author       = {O.~Kupferman and G.~Perelli and M.~Y. Vardi},
 year         = {2014},
 title        = {Synthesis with Rational Environments},
 booktitle    = {EUMAS 2014},
 pages        = {219--235},
 doi          = {10.1007/978-3-319-17130-2\_15},
)
@inproceedings(KSV02,
 author       = {O.~Kupferman and U.~Sattler and M.Y. Vardi},
 year         = {2002},
 title        = {{The Complexity of the Graded muCalculus.}},
 booktitle    = {CADE'02},
 series       = {LNCS 2392},
 publisher    = {Springer},
 pages        = {423--437},
 doi          = {10.1007/3-540-45620-1\_34},
)
@article(KVW00,
 author       = {O.~Kupferman and M.Y. Vardi and P.~Wolper},
 year         = {2000},
 title        = {{An Automata Theoretic Approach to Branching-Time Model Checking.}},
 journal      = {JACM},
 volume       = {47},
 number       = {2},
 pages        = {312--360},
 doi          = {10.1145/333979.333987},
)
@book(LB08,
 author       = {K.~Leyton-Brown and Y.~Shoham},
 year         = {2008},
 title        = {Essentials of Game Theory: A Concise, Multidisciplinary Introduction (Synthesis Lectures on Artificial Intelligence and Machine Learning)},
 publisher    = {M\&C},
 doi          = {10.2200/S00108ED1V01Y200802AIM003},
)
@inproceedings(LLM10,
 author       = {A.~Da~Costa Lopes and F.~Laroussinie and N.~Markey},
 year         = {2010},
 title        = {{ATL} with Strategy Contexts: Expressiveness and Model Checking},
 booktitle    = {FSTTCS 2010},
 pages        = {120--132},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.120},
)
@inproceedings(MMMS15,
 author       = {V.~Malvone and F.~Mogavero and A.~Murano and L.~Sorrentino},
 year         = {2015},
 title        = {On the Counting of Strategies},
 booktitle    = {TIME 2015},
 pages        = {170--179},
 doi          = {10.1109/TIME.2015.19},
)
@inproceedings(MMS15,
 author       = {V.~Malvone and A.~Murano and L.~Sorrentino},
 title        = {Games with additional winning strategies},
 booktitle    = {CILC, 2015},
 publisher    = {CEUR},
)
@article(MMPV14,
 author       = {F.~Mogavero and A.~Murano and G.~Perelli and M.Y. Vardi},
 year         = {2014},
 title        = {{Reasoning About Strategies: On the Model-Checking Problem.}},
 journal      = {TOCL},
 volume       = {15},
 number       = {4},
 pages        = {34:1--42},
 doi          = {10.1145/2631917},
)
@inproceedings(MMV10b,
 author       = {F.~Mogavero and A.~Murano and M.Y. Vardi},
 year         = {2010},
 title        = {{Reasoning About Strategies.}},
 booktitle    = {FSTTCS'10},
 series       = {LIPIcs 8},
 publisher    = {Leibniz-Zentrum fuer Informatik},
 pages        = {133--144},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.133},
)
@article(MS95,
 author       = {D.~E. Muller and P.~E. Schupp},
 year         = {1995},
 title        = {Simulating Alternating Tree Automata by Nondeterministic Automata: New Results and New Proofs of the Theorems of Rabin, McNaughton and Safra},
 journal      = {Theor. Comput. Sci.},
 volume       = {141},
 number       = {1{\&}2},
 pages        = {69--107},
 doi          = {10.1016/0304-3975(94)00214-4},
)
@article(ORS93a,
 author       = {A.~Orda and R.~Rom and N.~Shimkin},
 year         = {1993},
 title        = {Competitive routing in multiuser communication networks},
 journal      = {IEEE/ACM Trans. Netw.},
 volume       = {1},
 number       = {5},
 pages        = {510--521},
 doi          = {10.1109/90.251910},
)
@article(PC79,
 author       = {G.P. Papavassilopoulos and J.~B. Cruz},
 year         = {1979},
 title        = {On the Uniqueness of Nash Strategies for a Class of Analytic Differential Games},
 journal      = {Journal of Optimization Theory and Applications},
 volume       = {27},
 number       = {2},
 pages        = {309--314},
 doi          = {10.1007/BF00933234},
)
@book(Pavel12,
 author       = {L.~Pavel},
 year         = {2012},
 title        = {Game Theory for Control of Optical Networks},
 series       = {Science and Business Media},
 publisher    = {Springer},
 doi          = {10.1007/978-0-8176-8322-1},
)
@inproceedings(Pnu77,
 author       = {A.~Pnueli},
 year         = {1977},
 title        = {{The Temporal Logic of Programs.}},
 booktitle    = {FOCS'77},
 publisher    = {IEEE Computer Society},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@article(DBLP:journals/bsl/Rubin08,
 author       = {S.~Rubin},
 year         = {2008},
 title        = {Automata Presenting Structures: {A} Survey of the Finite String Case},
 journal      = {Bulletin of Symbolic Logic},
 volume       = {14},
 number       = {2},
 pages        = {169--209},
 doi          = {10.2178/bsl/1208442827},
)
@inproceedings(SSM08,
 author       = {H.~Seidl and T.~Schwentick and A.~Muscholl},
 year         = {2008},
 title        = {Counting in trees},
 booktitle    = {Logic and Automata: History and Perspectives},
 pages        = {575--612},
)
@article(Sel65,
 author       = {R.~Selten},
 year         = {1965},
 title        = {Spieltheoretische Behandlung eines Oligopolmodells mit Nachfragetragheit.},
 journal      = {Zeitschrift fur die gesamte Staatswissenschaft},
 volume       = {121},
 pages        = {301--324},
)
@article(thomas1990automata,
 author       = {W.~Thomas},
 year         = {1990},
 title        = {Automata on infinite objects},
 journal      = {Handbook of theoretical computer science, Volume B},
 pages        = {133--191},
)
@inproceedings(Ummels06,
 author       = {M.~Ummels},
 year         = {2006},
 title        = {Rational Behaviour and Strategy Construction in Infinite Multiplayer Games},
 booktitle    = {FSTTCS},
 pages        = {212--223},
 doi          = {10.1007/11944836\_21},
)
@inproceedings(WHW07,
 author       = {D.~Walther and W.~van~der Hoek and M.~Wooldridge},
 year         = {2007},
 title        = {Alternating-time temporal logic with explicit strategies},
 booktitle    = {TARK 2007},
 pages        = {269--278},
 doi          = {10.1145/1324249.1324285},
)
@inproceedings(WHY11,
 author       = {F.~Wang and C.~Huang and F.~Yu},
 year         = {2011},
 title        = {A Temporal Logic for the Interaction of Strategies},
 booktitle    = {{CONCUR} 2011},
 series       = {LNCS 6901},
 publisher    = {Springer},
 pages        = {466--481},
 doi          = {10.1007/978-3-642-23217-6\_31},
)
@book(ZG11,
 author       = {Y.~Zhang and M.~Guizani},
 year         = {2011},
 title        = {Game Theory for Wireless Communications and Networking},
 publisher    = {CRC Press},
)